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.

added continuous-integration label

assigned to @duncanmmacleod

merged

mentioned in commit f370f309