Bump external/Catch2 from 2de12cb to de7e863

Bumps [external/Catch2](https://github.com/catchorg/Catch2) from `2de12cb` to `de7e863`.
- [Release notes](https://github.com/catchorg/Catch2/releases)
- [Commits](catchorg/Catch2@2de12cb...de7e863)

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

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]