WyC: uncommented 10+ tests which now pass verification!