Update recursive verification workflow and scripts

- Renamed the test step in the GitHub Actions workflow to "Run recursive verification script" and updated the command to execute the recursion script.
- Increased the timeout for the recursive verification script from 10 to 15 minutes.
- Added a new "clean" script in package.json to remove the store directory before running tests.
- Modified the existing test script to include the clean step for better environment management.
- Made minor adjustments to the run_recursion.ts script for improved readability.

Author: critesjosh

.github/workflows/recursive-verification-tests.yml

@@ -91,10 +91,10 @@ jobs:
           bun data
         timeout-minutes: 30
 
-      - name: Run tests
+      - name: Run recursive verification script
         working-directory: recursive_verification
-        run: bun test
-        timeout-minutes: 10
+        run: bun recursion
+        timeout-minutes: 15
 
       - name: Upload test results if failed
         if: failure()

recursive_verification/package.json

@@ -3,11 +3,12 @@
   "module": "index.ts",
   "type": "module",
   "scripts": {
+    "clean": "rm -rf store",
     "cli": "bun run cli.ts",
     "ccc": "cd contract && aztec-nargo compile && aztec-postprocess-contract && aztec codegen target -o artifacts",
     "data": "bun run scripts/generate_data.ts",
     "recursion": "tsx scripts/run_recursion.ts",
-    "test": "bun test",
+    "test": "bun clean && bun test",
     "test:watch": "bun test --watch"
   },
   "devDependencies": {

recursive_verification/scripts/run_recursion.ts

@@ -12,6 +12,7 @@ const sponsoredFPC = await getSponsoredFPCInstance();
 const sponsoredPaymentMethod = new SponsoredFeePaymentMethod(sponsoredFPC.address);
 
 export const setupSandbox = async (): Promise<PXE> => {
+  
   try {
     const nodeUrl = 'http://localhost:8080';
     const node = await createAztecNodeClient(nodeUrl);