WYCS: whiley verification tests are now working again, although lots are failing.