CI: Migrate tox verify from Jenkins to GHA