Make verify-tag a builtin.