docs: def _push_subtree(self, leaves: List[bytes]):
          """Extend with a full subtree <= the current minimum subtree.
  
          The leaves must form a full subtree, i.e. of size 2^k for some k. If
          there is a minimum subtree (i.e. __mintree_height > 0), then the input
          subtree must be smaller or of equal size to the minimum subtree.
  
          If the subtree is smaller (or no such minimum exists, in an empty tree),
          we can simply append its hash to self.hashes, since this maintains the
          invariant property of being sorted in descending size order.
  
          If the subtree is of equal size, we are in a similar situation to an
          addition carry. We handle it by combining the two subtrees into a larger
          subtree (of size 2^(k+1)), then recursively trying to add this new
          subtree back into the tree.
  
          Any collection of leaves larger than the minimum subtree must undergo
          additional partition to conform with the structure of a merkle tree,
          which is a more complex operation, performed by extend().
          """
          size = len(leaves)
          if count_bits_set(size) != 1:
              raise ValueError("invalid subtree with size != 2^k: %s" % size)
          # in general we want the highest bit, but here it's also the lowest bit
          # so just reuse that code instead of writing a new highest_bit_set()
          subtree_h, mintree_h = lowest_bit_set(size), self.__mintree_height
          if mintree_h > 0 and subtree_h > mintree_h:
              raise ValueError("subtree %s > current smallest subtree %s" % (
                  subtree_h, mintree_h))
          root_hash, hashes = self.__hasher._hash_full(leaves, 0, size)
          assert hashes == (root_hash,)
  
          if self.hashStore:
              for h in hashes:
                  self.hashStore.writeLeaf(h)
  
          new_node_hashes = self.__push_subtree_hash(subtree_h, root_hash)
  
          nodes = [(self.tree_size, height, h) for h, height in new_node_hashes]
          if self.hashStore:
              for node in nodes:
                  self.hashStore.writeNode(node)