Restore behaviour of noting loop-exiting edges using local blocks, remove tests allowing blocks to have no local store, and fix broken getCommonAncestor
Switch from using a monolithic store to using stack frames plus a monolithic heap.

Next up: heap -> sharable tree.