WyCS: minor bug fix for the WyAL pretty printer.  Unfortunately, it really needs more.
WyCS: various little tweaks after investigating certain issues.
WyIL: working on improving the verification condition generator.
TESTING: added another test case, found by David Streader #378
Merge branch 'master' of github.com:DavePearce/Whiley
WyCS: added various test cases and attempting to decide how to go forward.
WyCS: pushed through some small changes to quantifier instantiation for #379
WyIL: working on #379
WyC: added test case for #380
TESTING: added more while loop test cases
TESTING: added another useful test case
TESTING: added yet another test case
WyC: added an implicit assumption after an assertion so that Code.Asserts don't need to be assumed during verification condition generation.  See #377
TESTING: added another test case for loop invariants.
WyRL: added some addition saftey checking code to catch an invalid term being constructed for #380
WyRL: improved the documentation in wyrl.util.Runtime as part of fixing #380
WyCS: debugging #380.  Discovered the problem is because quantifier instantiation is not instantiating all variables.
WyRL: working on the quantifiers example and improving quantifier instantiation.  Basically, it seems to be working, but is having some odd effects when instantiating bindings (e.g. generating lots of bindings unexpectedtly).  However, whilst debugging this, I seem to have stumbled across a separate bug related to WyRL and type testing somehow.
WyRL: still trying to understand the updated quantifier instantiation procedure.  It's basically going into an infinite loop as far as I can tell on a simple example.
WyRL: added some additional checks for WyRL spec files to ensure that missing names are identified.