Function miller_rabin 

pub fn miller_rabin(n: &ExactInt, witnesses: &[ExactInt]) -> bool

Miller–Rabin on |n| with the given bases. n < 2 is false.

Deterministic for n < 3·10^{18} when the witness list is a complete Jaeschke set; this function only uses the callers’ bases.