It hasn’t been updated in 5 years, and IIRC Python2 only - but Russell Power’s “Falcon” was an attempt to solve these issues that showed a lot of promise.
Unfortunately it seems to be incomplete - and even if support for exceptions etc were added, I suspect some of Python's more highly dynamic features (e.g. inspection of stack frame objects) would be extremely difficult to support in a compatible way.
I think supporting such niche dynamic features would be essential - I've found the Python community to be strongly against the idea of changing (or removing) such features in the pursuit of increased performance.
Lots of high profile python developers not so against a version of python that was less dynamic and more performant.