Catch2 devel branch 2021-03-16.
https://github.com/catchorg/Catch2
