Самый лучший шаблонизатор для PHP — это сам PHP. Этот язык именно для таких целей и разработан. При грамотном разделении бизнес-логики и логики представления получаем желаемый результат с нулевым оверхедом.

Вроде на хабре были тесты производительности, Python проигрывает по скорости особенно LuaJIT.

Предлагаю двигаться методом исключения. Для начала собрать библиотеку без кода и зависимостей. Потом добавлять по очереди импорт необходимых библиотек. Далее добавлять уже код.