Add random_proven_prime, modify random_nbit_prime