Problem: Test for undo is flaky. Solution: Turn it into a new style test. Use test_settime() to avoid flakyness.