Only check signals if no invariants break

NOTE: some more exec engine code has been removed in this commit.
Cache conjunct violations + Always show signals

Partially reverted previous commit that only shows signals when invariants succeed. It may be useful to see the signals even on an invariant failure.