Certificate verifier, primo converter.
Remove debugging GMP disable, doh
More primality proof adjustments