graph: rework vertex cluster reduction to avoid consing
graph: rework vertex cluster reduction to avoid consing

VincentToups/lambdanative,VincentToups/lambdanative,VincentToups/lambdanative,VincentToups/lambdanative,VincentToups/lambdanative