Drop python 3.9

[mlincett]

Python 3.9 does not support union type hints in the form X | Y. Sounds like a good time to drop support for it in CI.

[robertdstein]

Great idea!

[JannisNe]

I will do this now to bring down our substantial CI runtime.