Slow Proof CI Target

This module collects proof-heavy targets that we want CI to check regularly but do not want to put on the normal development critical path.

The main target here is compiled IR execution correctness. Keeping it as a named CI import makes the proof surface explicit without forcing every developer build to elaborate the same targets.