Add verifyAll() method to field verifier.  Add primality check to field of integers constructor.  Test IntegersModP.