Miller-Rabin probabilistic primality test
