The MastForest type needs to enforce an invariant that the total number of nodes is always strictly less…

The MastForest type needs to enforce an invariant that the total number of nodes is always strictly less…: a task in LegoFlow-SWE (Harbor dataset). Currently, MastForest allows adding nodes without checking this bound. Operations like add node and ensure node should detect when an insertion would…