Tweak and finish proof of Lemam 7 u.i.

This commit fixes up the main uniform integrability proof in
the appendix.
Add uniform integrability proof for bootstrapped process
Change Theorem 1 to use explicity bootstrap UI result
Some rewrite in progress
Merge branch 'master' into lemma_7

Conflicts:
	Paper.tex
A bunch of changes related to Lemma 7 and its consequences
Tweak uniform integrablity results for bootstrapped z
Changes to the proof of Lemma 7
Merge branch 'master' into lemma_7

Conflicts:
	Appendix.tex
Several small changes to clean up proofs
Changes to proof of theorem 2