Add -smooth flag to minimize deltas in counterexamples
Use booleans with defaults for status flags on messages