Add miller_rabin_random; add primality testing opinions to documentation
Make factor consistent in scalar context