Как избежать bounds checks?

Используй range loop вместо индексного — компилятор знает что индекс валиден. Проверяй длину один раз перед серией обращений. Паттерн s = s[:len(s):len(s)] ограничивает capacity. Для массивов фиксированного размера проверки убираются автоматически. Но не оптимизируй это раньше времени — разница обычно минимальна.