Miller-Rabin Primality Test vs Maurer's Algorithm