More verbose/error output consistency for verify_prime.  Tests.