Added a utility method to Subfield, shortened test methods in Verifier