Please don't touch at that. When you change a section depth, the full renumbering is done (in updateLabels()). It is only natural to update also the TocBackend at the same time. Actually this update is much quicker than the section renumbering.
We have not done anything, and if the operators are cheap as you described, it is perfectly fine to me to make TocUpdate automatic. Bo
