Change tests to use pytest-mypy-plugins

[oremanj]

Someone else did the work of writing a pytest plugin to handle the mypy "data-driven test" format without depending on mypy internals: https://github.com/mkurnikov/pytest-mypy-plugins . We should replace our current hacks with it.