Hoe is het tail-recursie optimalisatie mechanisme in Python geïmplementeerd? Waarom heeft Guido van Rossum principieel geweigerd om het te implementeren en welke gevolgen heeft dit voor de aanroepstapel?