Bump external/Catch2 from `5a1ef7e` to `5f9109a` (#1278)

Bumps [external/Catch2](https://github.com/catchorg/Catch2) from `5a1ef7e` to `5f9109a`.
- [Release notes](https://github.com/catchorg/Catch2/releases)
- [Commits](5a1ef7e4a6...5f9109a8dc)

---
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 5a1ef7e4a6caf3d5f696eb82302e3d87ff5c2303
+Subproject commit 5f9109a8dc616f6aba0dabf18dd77da41f5435bc