bench(smt-subtree): add a benchmark for single-leaf subtrees make build_subtree also return the next leaf row convert (col, hash) tuples to a dedicated struct
