Bump external/Catch2 from 0b2af56 to 7c2e1fb (#220)

Bumps [external/Catch2](https://github.com/catchorg/Catch2) from `0b2af56` to `7c2e1fb`.
- [Release notes](https://github.com/catchorg/Catch2/releases)
- [Commits](catchorg/Catch2@0b2af56...7c2e1fb)

---
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>