Using `--no-verify` avoids building z3 which should shave at least 10 minutes off CI where the `verify-publish` builder currently takes ~30 minutes.
Using `--no-verify` avoids building z3 which should shave at least 10 minutes off CI where the `verify-publish` builder currently takes ~30 minutes.