- more shorthands, fewer [ stack/DEC_FLAG k ]'s and [
stack/STACK_ITEM_VALUE k ]'s
- boolean flag per instruction
- using the account-instruction---bla convention
- constants for row offsets
- splitting of constraints
- bug-fix: SELFBALANCE was receiving the wrong value
- bug-fix: several shorthands were missing shifts ... !

- splitting of constraints according to foreign-address-opcode or
current-address-opcode
- updated NSR constraints
- added vanishing constraints for account/ROM_LEX_FLAG's
- renaming of constraints