Add type-checking in CI
This MR adds the python/type-checking component to the continuous-integration pipeline. This allows highlighting typing issues reported by mypy.
This MR adds the python/type-checking component to the continuous-integration pipeline. This allows highlighting typing issues reported by mypy.