Added a deterministic prime tester to ensure the correctness of the carmichael tester