isprime: more precise witness choices for Miller-Rabin testing.