Miller-Rabin Primality testing