Add failure continuations to verification protocol; monkey with slots
Refactored Slot