pub fn mini_verifier_bench() -> u32
One STARK-verifier-shaped pass. Returns low 32 bits of the accumulator for cross-VM correctness checking.