Speed up primality proofs
More primality proving rework
Code cleanup