Added camera-ready proof info and diff for penultimate QIC version (btw draft #7 and draft #9, containing unfanout improvements.