#564 CIF benchmark script: use normal output instead of debug output.
requested to merge 564-cif-benchmarking-scripts-can-use-normal-rather-than-debug-output into develop
- Makes synthesis faster, without affecting the platform-independent BDD metrics.
- Also makes benchmarking require less less disk space, as there is less output to store.
Closes #564 (closed)