Parallel Layout Engines: Synthesis And Optimization Of Tree Traversals