#938 Improved data-based synthesis and controller properties checker debug/warning output

• Notes:
  • I've improved the console output of the CIF data-based synthesis tool and the CIF controller properties checker. Mostly the debug output. It is now more clear what is in progress (useful if it runs for a longer time), what output belongs to what step, which steps had an effect, and which didn't, etc.
  • I took many small steps. They should be easy to understand per step. After each change, I immediately updated the test output.
  • It is probably fine to review per commit. But, since changes are done in steps, things may come only in later commits.
  • Initially, I set out to only change data-based synthesis. But, after changing it, I opted to also update the controller checker, as some of its output got broken, was not consistent anymore, etc.
  • Note that it is not a goal of this merge request to introduce local variables for settings. That will be done later, in a different merge request. This one is probably too long already.
• End-user visible changes:
  • CIF data-based synthesis: improved debug and warning output.
  • CIF controller properties checker: improved debug output.

Closes #938 (closed)