update verification tests