Simplify the RFC-derived handshake specification: remove the keyExchangeEphemeral predicate and adjust the connectionParameters relation.
Simplify the RFC-derived handshake specification: remove the
keyExchangeEphemeral predicate and adjust the connectionParameters relation.

raycoll/s2n,awslabs/s2n,awslabs/s2n,gibson-compsci/s2n,gibson-compsci/s2n,wcs1only/s2n,alexeblee/s2n,raycoll/s2n,PKRoma/s2n,PKRoma/s2n,raycoll/s2n,PKRoma/s2n,awslabs/s2n,bpdavidson/s2n,PKRoma/s2n,bpdavidson/s2n,gibson-compsci/s2n,gibson-compsci/s2n,wcs1only/s2n,PKRoma/s2n,jldodds/s2n,colmmacc/s2n,colmmacc/s2n,PKRoma/s2n,wcs1only/s2n,colmmacc/s2n,wcs1only/s2n,PKRoma/s2n,wcs1only/s2n,alexeblee/s2n,awslabs/s2n,alexeblee/s2n,jldodds/s2n,raycoll/s2n,bpdavidson/s2n,raycoll/s2n,jldodds/s2n,wcs1only/s2n,alexeblee/s2n,colmmacc/s2n,jldodds/s2n,raycoll/s2n,PKRoma/s2n,bpdavidson/s2n,bpdavidson/s2n,alexeblee/s2n,colmmacc/s2n,awslabs/s2n,jldodds/s2n,awslabs/s2n,alexeblee/s2n,wcs1only/s2n,wcs1only/s2n,bpdavidson/s2n,gibson-compsci/s2n,gibson-compsci/s2n,colmmacc/s2n