WyC: added separate test suite for verification and ignored those currently failing.  Next will attempt to classify all those failing.