The collision detection and a few other properties of registered pre-compiles are performed at compile time. In order to properly test this functionality we need to add some compile tests using try_build.

Those tests should make sure that all the invariants are actually enforced.