Improve the test infrastructure

[tmke8]

We should probably use this: https://github.com/typeddjango/pytest-mypy-plugins .

One particular disadvantage of the current way of testing is that you can't do "negative tests" by which I mean you can't specify that something should throw an error.