#823 CIF tools check annotation constraints on output models

• I made small steps, but some things are changed again in a later commit. Best to understand per commit, but to save review comments until the end.
• Changed the CIF event disabler, CIF to CIF transformer and CIF data-based synthesis tool to check annotations on output models.
• Improved the output of the CIF merger in case of post check problems on the merged specification.
• Did not yet change the CIF controller properties checker, since !907 (merged) is not yet merged. Will do that tool separately later on.

Addresses #823 (closed)