specs: update sequence length and reserved bytes

[rootulp]

Currently, the specs state that the sequence length is encoded as a varint and that the reserved bytes are encoded as a two byte padded varint. We recently decided to change both to big endian 4 byte unsigned integers.