Fixes typo: any -> an
Moves figure closer to reference in text.
Uses Computational Complexity journal document class.

In order to use the document class provided by the Computational Complexity
journal, we have to move everything into a single file and make some minor
changes to how we define theorems, use references and citations, etc.