Apply the new understanding of what <min..max> means in the RFC to ServerHello message parsing