Updates for random_nbit_prime and documentation