Function validate_server_message_sequence 

pub fn validate_server_message_sequence(
    messages: &[ServerMessage],
) -> Result<(), ProtocolInvariantViolation>