Upgrade catch2 version to current release (2.13.6)

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.