Correct performative.verify tests