should we port TestExecution to your improved verifySequence etc. ?

I think if we were really cool we would make verifySequence a macro which would use the source code text of each PartialFunction as the toString for that function... ;-)