Deprecate finite response check of the CIF controller properties checker

We now have the bounded response check. It checks also uncontrollables, doesn't suffer from false negatives, and actually computes the bound. The finite response check is thus obsolete. I propose to deprecate it. We should not remove it yet, but we can deprecate it:

• Improve the bounded response check to be on par with the finite response check (e.g. provide feedback). See #621.
• First disable the check by default.
• Then make it deprecated in the controller properties checker.
• Then make its result deprecated in the controller properties annotation.
• Then remove it at some point.

Addresses #892