Debug Z3 pre-download: remove output suppression

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: buger

.github/workflows/reqproof.yml

@@ -40,7 +40,7 @@ jobs:
       # Pre-download Z3 solver so audit checks can use it.
       # proof auto-downloads during verify but audit checks need it upfront.
       - name: Pre-download Z3 solver
-        run: proof verify-properties specs/system parser --timeout 5 2>/dev/null || true
+        run: proof verify-properties specs/system parser --timeout 30 || echo "Z3 pre-download completed (verification may have partial results)"
 
       - uses: probelabs/proof-action@v1
         with: