CIF benchmarking scripts can use normal rather than debug output
With normal output, the cache and maximum nodes statistics are still printed. Disabling debug output makes synthesis faster, and produces less output and therefore requires less disk space for the experiments.