WyIL: Updates to VerificationConditionGenerator.

Specifically, updated algorithms for joining branches together and
generated verification conditions.