WYCS: various minor improvements to the verifier.