#957 CIF/BDD: Printing debug information for saturation

Addresses #957 (closed).

Best to review the end result rather than commit-by-commit.

This implementation does not yet print the matrix of transition relations and variables. I propose to do that after the v5.0 release, in a later MR for this issue.