Make trace collection explicit via trace-root.
Easier filtering of vars, helpful macros, and some tests.