WYCS: added a few more tests.  also fixed verifier to support subset