Proth a start at 3; use Proth in is_prime and is_provable_prime
Turn off Proth for proofs (slower than BLS code)
Use BLS75 for Proth form
Speed up is_provable_prime