They should move away from using Python in a system like this. There's a non trivial amount of Python code (e.g. [0]) in the repo. The lack of type-safety is just the start of the issues with using it in a project like this.
Geo addressed that at the lex fridman podcast 5 months ago, briefly mentioning type checking as one of the reasons. I think he said they're moving to Go or C
[0] https://github.com/commaai/openpilot/tree/aa365e0d48ba29fd44...