save the applied schedule into the state during exhaustive canonicalisation

This is the equivalent change we did previously for heuristic canonicalisation,
but now for the exhaustive logic.

Github: related to #194 "clearer CEX output with scalarsets"