Compile-time hook that verifies DSL definitions when screen modules are compiled.

This module is used via @before_compile in Dala.Spark.Dsl and runs verification on the module's DSL state after all transformers have completed. Warnings are printed to the compiler output.