feat: Track whether simp_mem made progress in the monad state. [5/?]

feat: Track whether simp_mem made progress in the monad state. [5/?] #2595