Review https://docs.gradle.org/current/userguide/upgrading_major_version_9.html for missing parts

Gradle has been bumped to 9.0.0 in this project (at least currently in the `dev` branch). Review the whole project and the migration guide for missing steps.