Bump external/Catch2 from `3a18a68` to `85c00eb` (#1158)

Bumps [external/Catch2](https://github.com/catchorg/Catch2) from `3a18a68` to `85c00eb`.
- [Release notes](https://github.com/catchorg/Catch2/releases)
- [Commits](3a18a688a0...85c00eb946)

---
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 3a18a688a07e3f7217d7a1b0ae45a324edfdef52
+Subproject commit 85c00eb946b04a55a41aa131fb3f2050fa2f8b44