Check for primality using Miller-Rabin
a positive integer to test for primality
a random number generator
chance of false positive is bounded by 1/2**prob
true if n was randomly chosen by us
true if all primality tests passed, otherwise false
See Implementation
Check for primality using Miller-Rabin