remove checking of proof that consumes too much memory

Author: lgaeher

.github/workflows/verify.yml

@@ -62,6 +62,7 @@ jobs:
       run: |
           python3 .github/workflows/prune_dune_modules.py verification/rust_proofs/ace/proofs/dune \
             proof_core_page_allocator_allocator_PageAllocator_add_memory_region \
+            proof_core_page_allocator_allocator_PageAllocator_release_pages_closure0 \
             proof_core_page_allocator_allocator_PageStorageTreeNode_store_page_token \
             proof_core_page_allocator_allocator_PageStorageTreeNode_acquire_page_token \
             proof_core_page_allocator_allocator_PageStorageTreeNode_divide_page_token_if_necessary \