WyIL: Working a little on tidying up VCG.

The verification condition generator needs a fairly significant revision
to account for the block structure of bytecodes.  Furthermore, I want to
try and refactor it as much as possible to try and simply it.