Ran Emacs' auto-fill algorithm on all paragraphs

I wanted to get this out of the way before we end up with merge conflicts because of it.

Also, the verbatim environment doesn't seem to be handling spaces correctly (at least they
aren't showing up in the PDF like I would expect.