CI: Migrate tox verify from Jenkins to GHA

No match.