"Python still does not address the issue of dynamic typing and the inability to test correctly"

This is wrong, you can enforce typing on Python (pypi: typeguard)

The only issue with Python is performance, which is only an issue if you need performance.