Fix the tree-hash cnt n^2 nice, assert. +comments