Add a Github action or commit hook to run mypy on committed code

[tfriesen]

Mypy is a static type checker that leverages python's type hints to check for correctness

See https://mypy.readthedocs.io/en/stable/getting_started.html