Removed unnecessary updatedWV argument from rollback(), moved state storage logic to stabilize(), implementing state name versioning to differentiate stabilize/checkpoint states, updated examples to reflect changes