Minor modifications to the complexity.

Introduces BigOh and SoftOh commands and cuts lines before
80 characters.  I'll now go ahead and actually check the complexity
results.
Update to the proof of Prop 7.1.

You write that max(N_i) in O( a n b log(b) ), which is correct.
But from the definition of the N_i you see that you really have
max(N_i) in O(a n b + log(b)), so I have changed this.
Non-impact change.  Change "\; \; \;" to "\;\;\;".
Change overline{N} to bar{N} in three places.
Merging from github after Jan's changes.
Further improve Prop 4.17 for the diagonal frob precision.
Two small asthetic improvements. on p15.
Merge branch 'master' of github.com:SPancratz/deformation-paper