Mark resolved constraint violations in list and improve sorting

Benjamin Hättaschrequested to merge
feature-better-cv-list into main

This implements #148 (closed)

Merge request reports