Added a failure example
Propagated various recent changes
Preparing automatic stack size estimation.
Added an explicit arity field to all call-related instructions

- This is better for instruction locality and enables simpler stack size
estimation.
Added arity in call instructions in various examples
Reorganized label handling in CodeBlock and preparing for stack size
estimation.