checkConservativeness(): add 'verbose' parameter

this one makes it print what it computes. (if the method is not a no-op
of course.)