Fix correctness check skip in verifier