Да, в FASM есть ещё возможность ускорить работу со строками, т.к. сейчас при копировании куска памяти стоит rep movsb, а это, грубо говоря, в 4 раза медленнее чем rep movsd.

И потом, тот пример сравнения был не совсем корректен. Я не совсем уверен, но s:=s+'a' вполне может выполняться без перераспределения памяти для каждого присваивания, а например - перераспределять память каждое 16-тое присваивание, если квант памяти = 16 байт, а то и больше.