Кто-нибудь сталкивался с задачей генерации исходного текста программы по абстрактному синтаксическому дереву? Насколько это сложно? Какие бывают подводные грабли? 

Сталкивался. Правда текст генерировался на языке, отличном от того, из которого поднималось AST (транслятор). Даже в этом случае ничего сложного нет, надо лишь учитывать:
1) приоритеты операторов, чтобы расставлять лишь минимально необходимые скобки;
2) расстановку отступов (обычно для читаемости, в случае Python жизненно важно).
Типизация выражений также может требовать внимания. Все остальное сильно зависит от языка, но в целом, генерация AST процесс легко обратимый (если при этом не теряются идентификаторы).