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.