Update Catch2 to v3.0.1
now that Catch2 v3 has been released, we can switch from the pre-release and move to the production version.
Edited by Marco Clemencic
now that Catch2 v3 has been released, we can switch from the pre-release and move to the production version.