¿Cómo optimiza el compilador de Python las operaciones de concatenación de cadenas: en qué casos la declaración `s = s + "next"` conducirá a una asignación de memoria nueva y copia O(N), y en qué casos CPython realizará una optimización en el lugar O(1)?