Generate human-readable JavaScript source code from a SpiderMonkey-compatible AST