#621 Add bounded response check and BDD representation to CIF controller properties checker

• I took small steps in multiple commits.
• Changes:
  • Added bounded response check to CIF controller properties checker. This check is now recommended instead of the finite response check, although I didn't deprecate finite response just yet.
  • The CIF controller properties checker now prints [UNKNOWN] before conclusions of disabled checks.
  • The CIF controller properties checker now uses a colon to indicate more is to come for check conclusions.
  • Improved the CIF controller properties checker documentation, and split it into multiple pages.
  • Extended a test.

Addresses #621