check dev shell availability on CI

[wavewave]

dev shell can be often broken by various reasons. This should be checked as a part of nix-build test. it will not incur much build-time cost as most of dev shell dep are shared with final nix build product dep.