Bump external/Catch2 from 85eb465 to 3a5cde5 (#2815)

Bumps [external/Catch2](https://github.com/catchorg/Catch2) from `85eb465` to `3a5cde5`.
- [Release notes](https://github.com/catchorg/Catch2/releases)
- [Commits](catchorg/Catch2@85eb465...3a5cde5)

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

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