I'm afraid not. Hopefully the notes give the gist of the talk. Steve and my upcoming book, Growing Object Oriented Software, Guided by Tests, will contain a more detailed discussion of this topic. We're putting draft chapters online at http://www.mockobjects.com/book.
That's a great idea. Feel free to check out the code and write it :-)
What the pictures mean is documented on the Synesketch website. However, you should be able to get the feeling just by looking at them. (I have to admit that it's not perfect; I misinterpreted them).
Wouldn't a really Scheme-y macro rewrite the tests to use call/cc to pass the continuation into the test function and rewrite the asserts to call the continuation to jump out of the test when the assert failed?
The security community have been thinking about these issues for some time. Here's that overview of global names vs. nicknames vs. pet names I mentioned at XTC.