WyC: added separate test suite for verification and ignored those currently failing.  Next will attempt to classify all those failing.
WyC: working through failing verification tests classifying them.  In some cases, am deleting tests which are duplicated.
Merge branch 'master' of github.com:Whiley/WhileyCompiler

Conflicts:
	modules/wyc/src/wyc/testing/AllValidVerificationTests.java