Update references of verity to gohai

since the repo's name has been updated