pub const OP_VERIFY: Opcode;
If the top value is zero or the stack is empty, fail; otherwise, pop the stack.