Use SOLC_VERSION 0.8.24

.github/workflows/formal-verification.yml

@@ -12,7 +12,7 @@ on:
 env:
   PIP_VERSION: '3.10'
   JAVA_VERSION: '11'
-  SOLC_VERSION: '0.8.20'
+  SOLC_VERSION: '0.8.24'
 
 concurrency: ${{ github.workflow }}-${{ github.ref }}