CIF controller properties checker: add various BDD-related options from CIF data-based synthesis tool

The CIF controller properties checker also uses a BDD representation of the CIF specification for various checks. It is then useful to have BDD-related settings to influence this. For instance, to change the variable order, reduce the caches in case of memory issues, and influence the representation of BDDs in debug output.

Addresses #892