More properties.
Trap and dump state on SIGINT.
Fix debug messages.

* Padding was not getting used; replace by integer indicating depth
* Print the stack / local state before the opcode executes, not after