Add support for the throw-verification-error opcode
10 files changed