New opcodes

* Non-exhaustive (maybe) list of new opcodes:
  - OP_DECX (common) opcode function
  - 0x23
  - 0xc9
  - 0x13
  - 0x7b
  - 0x05