Further filter the trial primes for Mersenne testing
Add LLR test to is_prime and no-cert is_provable_prime
Add k=3 case to LLR