chore(deps): bump actions/upload-artifact from 3 to 4 (aws#784)

Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 3 to 4.

Author: dependabot[bot]

.github/workflows/proof_ci.yaml

@@ -177,7 +177,7 @@ jobs:
             && mv $FINAL_REPORT_DIR/${{ steps.artifact.outputs.name }}.zip .
       - name: Upload zip artifact of CBMC proof results to GitHub Actions
         if: ${{ env.REPO_VISIBILITY == 'public' }}
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: ${{ steps.artifact.outputs.name }}
           path: ${{ steps.artifact.outputs.name }}.zip