Come è implementato il meccanismo di ottimizzazione della ricorsione di coda in Python? Perché Guido van Rossum ha fondamentalmente rifiutato la sua implementazione e quali sono le conseguenze per lo stack di chiamata?