1) Не 20000, а 20001 (так как завершающий символ \0 необходим);
2) Не 20000, а 200000 (200001);
3) Не i<=l, а i<l (так как нумерация с нуля и i=l -- это уже за концом строки);
3а) Так как у нас в цикле проверяется i+1, то даже i < l-1;
4) На тесте aabb(много раз) очевидно мы выполним n/2 сдвигов в среднем n/2 элементов, т.е. асимптотика решения O(n²), что слишком много для нашего n. Необходимо придумать более эффективный алгоритм.