Python type checks in CI

[fenhl]

Add a CI check that uses something like mypy to validate the type annotations in our Python code, to enforce the static typing and to catch PRs like #2155 introducing bugs in the type annotations.