Added miller_rabin primality test, to speed up program