Wow, this is a wonderful thing.
I would go as far as to say it is the tool every developer wanted and most thought was impossible (the low overhead part at least).
Only recording the nondeterministic parts and replaying the rest is so obvious, once someone else has thought of it.