fix: make the previous state pointer available when using liveness properties

The previous pointer is used during liveness checks, but we failed to notice
that it is only defined when counterexample traces are enabled. We now enable it
if either of these features are in use.

Github: related to #126 "--counterexample-trace off produces code that does not
compile"