add miller-rabin-test for primality testing