Updates to primality proving