devel/catch: update to 2.12.1
Release notes: https://github.com/catchorg/Catch2/releases/tag/v2.12.1 https://github.com/catchorg/Catch2/releases/tag/v2.12.0 https://github.com/catchorg/Catch2/releases/tag/v2.11.3 https://github.com/catchorg/Catch2/releases/tag/v2.11.2