Optimization: Matching no longer subclasses Set
Optimization: Do not validate Matching at each MCM stage
Benchmark MCM bipartite after removing Matching#validate