Miller-Rabin Primality Test Demo