Some last-minute mistakes caught in camera-ready.
Added diff btw draft #7 and draft #9 of PhamSvore_QIC.diff
Added camera-ready proof.
Added last-minute correction to mod 3-2 addition example.
Why did I think this was a good place to put this?
Added bib and tex for QIC reproof.