QUIC Connection State Machine Design Document