Edit proof of oos bootstrap normality

This commit makes some extensive changes to the oos bootstrap normality
result; I change the conditions to better match West's argument, and I
spell out most of the details of the proof.