Update F* version.

Author: maximebuyse

.github/workflows/hax.yml

@@ -13,7 +13,7 @@ jobs:
       - name: ⤵ Install and configure hax
         uses: hacspec/hax-actions@main
         with:
-          fstar: v2025.02.17
+          fstar: v2025.10.06
           hax_reference: hax-lib-v0.3.6 
 
       - run: sudo apt-get install protobuf-compiler