There's lots of places we can take this, which is why I categorize it as a research project.
Being able to create unit tests from this, or being able to look at calls from unit tests here has definitely been on my mind. The way you enter the "test code" right now is not ideal in the slightest as I talk about in my post.
The trick is that you simply wouldn't use this on code where irreversible side effects take place. I think there's enough methods you write where this would help to make it still useful and worthwhile. Tackling the side effect issue is far, far too big of scope.