#621 Bounded response check: print details about edges enabled in cycles

• Best to review per commit.
• End-user visible changes:
  • If bounded response doesn't hold, the edges that are part of cycles are now printed as part of printing the check conclusion details.
  • Also slightly improved the debug output of the bounded response check.
  • The CIF controller properties checker documentation now explains for each check that prints additional details what details are printed.
• Note that also state information could be printed, as suggested in #621, but that is not for this merge request.

Addresses #621