Update version of cvc5 in CI to 0.0.9

The cvc5 github repository has begun offering Windows builds on their
release page. Updating the version used will enable us to supply cvc5
for the cbmc Windows jobs as well.

Author: thomasspriggs

.github/workflows/pull-request-checks.yaml

@@ -3,7 +3,7 @@ on:
   pull_request:
     branches: [ develop ]
 env:
-  cvc5-version: "0.0.7"
+  cvc5-version: "0.0.9"
 
 jobs:
   check-ubuntu-20_04-make-gcc: