Having worked at a company with a million-lines-plus of Python monolith, gradual typing annotations made all the difference. Why do you need it enforced at runtime? It's static types!
Why waste time doing static analysis each time you run the code? If you don't change the code, its not going to change.
Currently they are little more than a crutch to have intellisense working.