Task: Implement Cut Property Verification for Minimum Spanning Trees

Task: Implement Cut Property Verification for Minimum Spanning Trees: a task in Terminal-Lego-15k (Harbor dataset). The Cut Property is a fundamental theorem in graph theory that helps determine which edges belong to a Minimum Spanning Tree (MST). It states: