WyC: Uncommented tests which now pass.

A number of verification tests now pass as a result of the previous bug
fix.  I have now gone through and uncommented these.  There were about 9
of them, and could be others since I didn't try them all.