DH: extract and explain pubkey validation
more entropy in tests
externally get modulus size