When i start the ModelCheck, the resulted report gives me detailed list that shows the restrictions and then you can highlight the problematic features. This is very good application and you can save a lot of time, otherwise you have to check every feature one by one.
But on the other hand when you decide to go deeper for the failed feature and want to detailed investigation you can highligh, but first you have to try to find the highlighted features. In my opinion this is not user friendly and users are loosing time to find the highligted geometry in complex parts,
My suggestion is to add zoom functionality for the failed features, highlight is not eneough.
Strange thing is when you make a geometry check it is automatically zooming in for the failed features, so can't you bring and merge this functionality for the ModelCheck results ?