Update to hotfixed version of WyC
Update to hotfixed version of WyC

This updates to the hotfixed version of WyC which includes some slightly
better error messages.

Whiley/WhileyLabs,Whiley/WhileyLabs,Whiley/WhileyLabs