[Python-ideas] Improved multi-tasking performance through deterministic GIL hand-off