Added checking that g_a and g_b are between 2^{2048-64} and dh_prime - 2^{2048-64}