QUIC long and short packet headers

Examine quic wire protocol through protocol behavior, operational constraints, and concrete packet paths.