miller_rabin primality test with no optimizations imĺemented