Fix mpz_nextprime so it runs 25 rounds of miller-rabin in total (same as GMP).