Refactoring: change API of verifier to pass InstructionVerifier to verifiers.