Add support to throw/catch in stubbing/contract verification

[Adam Pohorecki]

In Ruby, in addition to raise/rescue there's also throw/catch. Not many people use it, since it's a thinly-veiled goto, but it should be possible to record those interactions as well.