build(deps): bump the all-dependencies group with 12 updates

Bumps the all-dependencies group with 12 updates:

| Package | From | To |
| --- | --- | --- |
| [commons-io:commons-io](https://github.com/apache/commons-io) | `2.16.1` | `2.21.0` |
| [com.github.FedericoPonzi:tlaplus-smith](https://github.com/FedericoPonzi/tlaplus-smith) | `f5a70e21d1` | `1.0.1` |
| [org.junit:junit-bom](https://github.com/junit-team/junit-framework) | `5.10.0` | `6.0.2` |
| [org.mockito:mockito-core](https://github.com/mockito/mockito) | `5.7.0` | `5.21.0` |
| [org.mockito:mockito-junit-jupiter](https://github.com/mockito/mockito) | `5.7.0` | `5.21.0` |
| [net.jqwik:jqwik](https://github.com/jqwik-team/jqwik) | `1.8.0` | `1.9.3` |
| [commons-cli:commons-cli](https://github.com/apache/commons-cli) | `1.8.0` | `1.11.0` |
| org.slf4j:slf4j-api | `2.0.7` | `2.0.17` |
| [ch.qos.logback:logback-classic](https://github.com/qos-ch/logback) | `1.5.13` | `1.5.28` |
| io.ktor.plugin | `2.3.12` | `3.4.0` |
| com.github.spotbugs | `6.0.7` | `6.4.8` |
| gradle-wrapper | `8.5` | `9.3.1` |


Updates `commons-io:commons-io` from 2.16.1 to 2.21.0
- [Changelog](https://github.com/apache/commons-io/blob/master/RELEASE-NOTES.txt)
- [Commits](apache/commons-io@rel/commons-io-2.16.1...rel/commons-io-2.21.0)

Updates `com.github.FedericoPonzi:tlaplus-smith` from f5a70e21d1 to 1.0.1
- [Commits](https://github.com/FedericoPonzi/tlaplus-smith/commits/1.0.1)

Updates `org.junit:junit-bom` from 5.10.0 to 6.0.2
- [Release notes](https://github.com/junit-team/junit-framework/releases)
- [Commits](junit-team/junit-framework@r5.10.0...r6.0.2)

Updates `org.mockito:mockito-core` from 5.7.0 to 5.21.0
- [Release notes](https://github.com/mockito/mockito/releases)
- [Commits](mockito/mockito@v5.7.0...v5.21.0)

Updates `org.mockito:mockito-junit-jupiter` from 5.7.0 to 5.21.0
- [Release notes](https://github.com/mockito/mockito/releases)
- [Commits](mockito/mockito@v5.7.0...v5.21.0)

Updates `net.jqwik:jqwik` from 1.8.0 to 1.9.3
- [Release notes](https://github.com/jqwik-team/jqwik/releases)
- [Commits](jqwik-team/jqwik@1.8.0...1.9.3)

Updates `commons-cli:commons-cli` from 1.8.0 to 1.11.0
- [Changelog](https://github.com/apache/commons-cli/blob/master/RELEASE-NOTES.txt)
- [Commits](apache/commons-cli@rel/commons-cli-1.8.0...rel/commons-cli-1.11.0)

Updates `org.slf4j:slf4j-api` from 2.0.7 to 2.0.17

Updates `ch.qos.logback:logback-classic` from 1.5.13 to 1.5.28
- [Release notes](https://github.com/qos-ch/logback/releases)
- [Commits](qos-ch/logback@v_1.5.13...v_1.5.28)

Updates `io.ktor.plugin` from 2.3.12 to 3.4.0

Updates `com.github.spotbugs` from 6.0.7 to 6.4.8

Updates `gradle-wrapper` from 8.5 to 9.3.1

---
updated-dependencies:
- dependency-name: commons-io:commons-io
  dependency-version: 2.21.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: all-dependencies
- dependency-name: com.github.FedericoPonzi:tlaplus-smith
  dependency-version: 1.0.1
  dependency-type: direct:production
  dependency-group: all-dependencies
- dependency-name: org.junit:junit-bom
  dependency-version: 6.0.2
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: all-dependencies
- dependency-name: org.mockito:mockito-core
  dependency-version: 5.21.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: all-dependencies
- dependency-name: org.mockito:mockito-junit-jupiter
  dependency-version: 5.21.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: all-dependencies
- dependency-name: net.jqwik:jqwik
  dependency-version: 1.9.3
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: all-dependencies
- dependency-name: commons-cli:commons-cli
  dependency-version: 1.11.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: all-dependencies
- dependency-name: org.slf4j:slf4j-api
  dependency-version: 2.0.17
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: all-dependencies
- dependency-name: ch.qos.logback:logback-classic
  dependency-version: 1.5.28
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: all-dependencies
- dependency-name: io.ktor.plugin
  dependency-version: 3.4.0
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: all-dependencies
- dependency-name: com.github.spotbugs
  dependency-version: 6.4.8
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: all-dependencies
- dependency-name: gradle-wrapper
  dependency-version: 9.3.1
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: all-dependencies
...

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]

build.gradle.kts

@@ -1,7 +1,7 @@
 plugins {
     id("java")
-    id("io.ktor.plugin") version "2.3.12"
-    id("com.github.spotbugs") version "6.0.7"
+    id("io.ktor.plugin") version "3.4.0"
+    id("com.github.spotbugs") version "6.4.8"
     jacoco
 }
 
@@ -28,21 +28,21 @@ repositories {
 dependencies {
     // TODO: Replace with a stable release when available:
     implementation("com.github.FedericoPonzi:tlaplus:0d86214464")
-    implementation("commons-io:commons-io:2.16.1")
-    testImplementation("com.github.FedericoPonzi:tlaplus-smith:f5a70e21d1") {
+    implementation("commons-io:commons-io:2.21.0")
+    testImplementation("com.github.FedericoPonzi:tlaplus-smith:1.0.1") {
         isChanging = true
     }
 
-    testImplementation(platform("org.junit:junit-bom:5.10.0"))
+    testImplementation(platform("org.junit:junit-bom:6.0.2"))
     testImplementation("org.junit.jupiter:junit-jupiter")
-    testImplementation("org.mockito:mockito-core:5.7.0")
-    testImplementation("org.mockito:mockito-junit-jupiter:5.7.0")
-    testImplementation("net.jqwik:jqwik:1.8.0")
-    implementation("commons-cli:commons-cli:1.8.0")
+    testImplementation("org.mockito:mockito-core:5.21.0")
+    testImplementation("org.mockito:mockito-junit-jupiter:5.21.0")
+    testImplementation("net.jqwik:jqwik:1.9.3")
+    implementation("commons-cli:commons-cli:1.11.0")
 
     // Logging
-    implementation("org.slf4j:slf4j-api:2.0.7")
-    implementation("ch.qos.logback:logback-classic:1.5.28")
+    implementation("org.slf4j:slf4j-api:2.0.17")
+    implementation("ch.qos.logback:logback-classic:1.5.29")
 
     implementation("com.opencastsoftware:prettier4j:0.3.2")
 }

gradle/wrapper/gradle-wrapper.jar

@@ -1,6 +1,6 @@
-#Sat Jul 20 00:54:34 IST 2024
 distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-8.5-bin.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-9.3.1-bin.zip
+networkTimeout=10000
 zipStoreBase=GRADLE_USER_HOME
 zipStorePath=wrapper/dists