docs: private void updateHeavyGeneral(final T item, final double weight, final boolean mark) {
      assert m_ == 0;
      assert r_ >= 2;
      assert (r_ + h_) == k_;
  
      // put into H, although may come back out momentarily
      push(item, weight, mark);
  
      growCandidateSet(totalWtR_, r_);
    }