Contained within this module are two functions:
is_witness performs a single iteration of the Miller-Rabin
On the other hand,
is_prime is a routine that performs the Miller-Rabin
primality test a given number of times in parallel, exiting as soon as the iterator
encounters a witness for the compositeness of the tested integer.