Add revert method to use when running tests interactively.
It helps when a solution that takes time to be computed has been
spoiled and we want to run more tests on it.