Update primality certificate documentation
10-15% speedup for ranged totient internals