Add tests for is_provable_prime