While loop support.

This commit adds support for while loops with arbitrary nesting and
labeled break/continue, with updates to phi-node merge strategy to make
this possible. Basic control flow primitives are now complete except for
spawn (they need much more testing, though!).