How does the Python compiler optimize string concatenation operations: in which cases will the statement `s = s + "next"` lead to new memory allocation and copying O(N), and in which cases will CPython perform in-place O(1) optimization?