Python implementation of the Miller-Rabin Primality Test