Stricter doc builds

This change cleans up a couple of issues in our documentation and makes `sphinx-build` run in a much more strict way. This will prevent similar errors from happening in the future, and should overall help improve our doc quality.