EQUALVERIFY

Same as OP_EQUAL, but runs OP_VERIFY afterward. Input: x1 x2 Output: nothing or fail