WyCS: Uncommented some test cases which now pass. As a result of various bug fixes (e.g. #401, #403, #400, #404) some additional test cases are now passing which previously were not.
WyCS: Uncommented some test cases which now pass.
As a result of various bug fixes (e.g. #401, #403, #400, #404) some
additional test cases are now passing which previously were not.

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