[Truffle] -Xtruffle.translator.print_full_asts option.