Test cleanup of verification