Run the verifier on generated code.