Maybe something like `CQM.fraction_satisfied(sampleset: SampleSet) -> dict[label, float]` to go along with `CQM.iter_violations()`