Add tests for verify_prime