Replace recursion script with test suite in CI

The vitest test suite provides more comprehensive coverage than the
standalone recursion script, testing multiple proof verifications
and multi-user scenarios.

Co-Authored-By: Claude Opus 4.5 <[email protected]>

Author: critesjosh

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

@@ -94,9 +94,9 @@ jobs:
           yarn data
         timeout-minutes: 30
 
-      - name: Run recursive verification script
+      - name: Run tests
         working-directory: recursive_verification
-        run: yarn recursion
+        run: yarn test
         timeout-minutes: 15
 
       - name: Upload test results if failed