#937 CIF controller properties checker: debug output improvements (related to indentation)

• Easiest to understand per commit, but multiple changes/fixes follow in a row.
• Changes:
  • Indent debug output of conversion to BDD/MDD and each of the checks.
  • Fixes for indented multiline debug output (was not an issue before, but was now).
  • Consistent use of 4 spaces for indentation.
  • Consistent no empty line at start of an indented body.
• I kept the output of CIF data-based synthesis unchanged.
• It is not a goal of this merge request to change how settings are used, such as to introduce local variables for specific settings, etc.

Closes #937 (closed)