Clean up is_prime, speed up lenstra tests (operator Q), add more polys,
progressively increase trial factoring limit and number of polys.