#621 Bounded response check prints cycle states in check result details.

• Mostly reviewable per commit. Some things are changed in later commits, but I note that in the commit messages.
• End-user visible changes:
  • The bounded response check now prints states that are part of cycles, in case there is no bounded response due to cycles. By default 10 states are printed, but this can be configured through the new 'Maximum number of cycle states' option.
  • The order of the CIF controller properties checker has changed. It now first lists all enablement options, before their more detailed configuration. It now matches the order in the documentation.
• I had to add quite some code to BddUtils, as we didn't yet have functionality to get CIF states from a BDD.

Addresses #621