Fixed a million billion typos, spacing, touch-ups

There were a bunch of typos in the abstract and some other places. So I
went through all the files and spellchecked. I also added some vertical
spaces between paragraphs and broke them into 80 char lines. And I
fixed an outdated remark from the optimal graph section.