WyIL: Further updates to VcGenerator.

In particular, fixed up the process by which branches are joined after a
block is completed.
WyIL: Working on VcGenerator