[test] Add test of makeBasis() with nontrivial tree

This can also serve as a benchmark for tree traversal, because it's pretty slow when using a fully static traversal and generates huge executables.