Compile-time validation

[d-kv]

Currently there is only runtime check for missing dependency registration. And because all dependencies are lazy, you will get crash once you access them. The proposal is to add compile-time validation for missing dependencies so we could track down such cases and fix them immediately.