Theory: remove claim that there are cases with P^2/T binding
Theory: restore circles drawing
edits to example
Merge branch 'surgery' into edits

Conflicts:
	paper.tex
Intro: make small changes to the introduction
Writing: tweak section 2 description
Writing -- assumptions

This commit makes several small changes to the text of the
assumptions section of the paper.
Add LASSO reference
Tweak circles drawing
Add tweaks to introduction
Theory: rewrite proof of OOS *testing* result (thm 2)

This commit heavily rewrites the proof that OOS testing controls
the conditional probability of rejection. It should be good now.
Theory: Tweak assumptions
Theory: edits to OOS results
Theory: tweaks to full sample results
Several small phrasing and spelling tweaks
Theory: revise and clean up proof of oos convergence (lemma 2)
Major effort to remove unnecessary equation labels