Update vertx.version to v4 (major)

[renovate]

This PR contains the following updates:

Package	Update	Change
io.vertx:vertx-junit5	major	3.9.4 -> 4.0.0
io.vertx:vertx-web	major	3.9.4 -> 4.0.0

---

Renovate configuration

📅 Schedule: At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻️ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about these updates again.

---

• If you want to rebase/retry this PR, check this box

---

This PR has been generated by WhiteSource Renovate. View repository job log here.

[codecov]

Codecov Report

Merging #2178 (b797c88) into main (b28f102) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##               main    #2178   +/-   ##
=========================================
  Coverage     82.79%   82.79%           
  Complexity     2324     2324           
=========================================
  Files           306      306           
  Lines          8294     8294           
  Branches        762      762           
=========================================
  Hits           6867     6867           
  Misses         1118     1118           
  Partials        309      309           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update b28f102...3ef76c2. Read the comment docs.