Use a mypy pre-commit hook which would fix the mypy version #531

I’m having a hard time running the pre-commit mypy hook locally, which can produce results that differ from what I see in CI. I propose using fixed mypy versions so that local and CI runs are consistent.

This hook looks relevant
https://github.com/pre-commit/mirrors-mypy