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