Module verifier 

Functions

verify

Run the full verification stage. Returns a (report, traces) pair. Deterministic checks always run unless mode is None. LLM pass only runs when mode is Llm.