Split is_prob_prime second gcd from 20k into 10k or 40k.  Speedup for 128-4000 bit inputs