Get passing performative.verify tests