Tighten up text of paper

- emphasize how to choose epsilon in practice
- add comparison to Romano and Wolf (2007) k-StepM algorithms
Strengthen Assumption for uniform convergence in \theta
Add discussion of Romano and Wolf's algorithm
Clarify steps in mathematical proofs