Fixup for 5.6.2
Allow factor.pl to parse many MPU functions
Move a couple of the bigger primality proofs to RELEASE_TESTING -- slow without GMP