Fills interior nodes from a complete level. levelStart is the flat index of the first node in that level and levelSize its width (a power of two). Each adjacent pair is hashed into its parent, repeating up to the root. Direct port of merkle_fill_tree.