Persistent Value Revert

Fixed persistent trace-cmp values in the fuzz dictionary being dropped when state values are reverted between invariant runs.