WYCS: trying to get wyc to verify files again.
WYCS: trying to get wyc to verify files again.

Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler