writeup, code: it's done! (mostly) also fix the bugs

- The writeup is done (modulo typos/final checking) now!
- We fixed a few bugs that caused the tests to fail. Yay!