Use uniformly chosen witnesses for Miller-Rabin test