Specification
Define opcode HAS_FEATURE. It pops one item from the stack and
checks whether the number, interpreted as a big-endian unsigned
integer, is valid opcode number. It pushs 0x0 back to the stack if
the check fails, otherwise 0x1 is pushed.