Add proof that all other opcodes decode to INVALID