Tweak wording in introduction to paper
Change Assumption 3 on NED size

The NED size conditions were incorrect; this commit changes them to
the right ones.
Add variance-covariance matrix to Theorem 1
Very minor tweaks to wording of paper