Move lots of definitions out of Theorem 1 and into main appendix
Add dedicated macro for bootstrapped Z terms
Add explanation to referee for conditional CLT use
Very minor tweaks to exposition
Add explanation for why continuity argument holds