#639 Fix performance regression in finite response checker

• If only finite response is checked, the unneeded global guarded updates are no longer computed. This fixes the performance regression.
• The controller checker now also requires at least one enabled check. This prevents performing lots of calculations in preparation, that are then not used by any check.
• Best reviewed per commit.

Closes #639 (closed)