convert (col, hash) tuples to a dedicated struct
bench(smt-subtree): add a benchmark for single-leaf subtrees