Make Holm references more prominent

- This is at the request of one of the referees
Tweak wording in second section of paper
Fix typo with sign of epsilon
Remove vague paragraph comparing result to Andrews
Change empirical analysis to control FDR

- Referee's suggestion
- Should emphasize that that's what we've done.
Minor changes to wording of the paper as suggested by ref
Minor fixes to mathematical proofs