Moved proofs to appendix, reformatted sentences to be on single lines for better diffs, added GC section.