Let's update the catch2 version to something more recent. We're at catch 2.7.0, and the latest release is 2.13.6. Might not be critical, but - I'm sure they've improved things since 2019.