Display Toast when checkpoint set/undo; auto-checkpoint when auto-solving stops.