We assume that AAD and HKDF inputs can be independently reconstructed by both the sender and the receiver, but MOQ allows multiple varint encoding for the same value. We should probably change those to 64-bit integers, since those are not sent on the wire.
