Como é implementado o mecanismo de otimização de recursão de cauda em Python? Por que Guido van Rossum recusou fundamentalmente a sua implementação e que consequências isso tem para a pilha de chamadas?