Bump external/Catch2 from `1f881ab` to `9f08097` (#2264)

Bumps [external/Catch2](https://github.com/catchorg/Catch2) from `1f881ab` to `9f08097`.
- [Release notes](https://github.com/catchorg/Catch2/releases)
- [Commits](1f881ab464...9f08097f55)

---
updated-dependencies:
- dependency-name: external/Catch2
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

external/Catch2

@@ -1 +1 @@
-Subproject commit 1f881ab4641b866304b818a063164dae976dba5f
+Subproject commit 9f08097f55eb29a61efcdb4af41952a67e155215