flow: avoid assert() in BasicBlock::verify()
flow: implement handler-handler invokation
flow: prevent source handler recursion