NUMEQUALVERIFY

Same as OP_NUMEQUAL, but runs OP_VERIFY afterward. Input: a b Output: nothing or fail