Consider only using the Catch2 single header to avoid building the whole library (slow)