Update cairo-lang to 2.14.0 (#1471)

* update cairo-lang to 2.14.0

* fix tests

* remove unwanted files

* fix patch

* remove unused dependency

* change replay and sequencer versions

* fix eval_diff in sierra-emu

* fix trivial case

* fix clippy

* clippy

* fix tests

* add more tests with bounded_ints

* Handle cmpi for bounded ints properly

* Fix clippy

* add more tests with felts

* add documentation to the libfunc

* fmt

* simplify implementation

* remove unwanted changes

* correct if condition

* bring back value width comparison

* roll back change

* reviews

* change tests

* change downcast_felt test

* better comment

Co-authored-by: Gabriel Bosio <38794644+gabrielbosio@users.noreply.github.com>

* increment range check in trivial case

* fmt

* simplify eval_diff implementation and add docs

* correct the starknet-blocks dependency comments

* clippy

* clarify comment

* rename test

* update sequencer and replay commits in starknet-blocks.yml

---------

Co-authored-by: Diego Civini <diego.civini@lambdaclass.com>
Co-authored-by: Gabriel Bosio <38794644+gabrielbosio@users.noreply.github.com>

Author: 3 people

.github/workflows/starknet-blocks.yml

@@ -32,8 +32,8 @@ jobs:
         with:
           repository: lambdaclass/starknet-replay
           path: starknet-replay
-          # https://github.com/lambdaclass/starknet-replay/pull/197
-          ref: 6932d84ef234a83139fe807bf0c840fc7cbcc5d5
+          # https://github.com/lambdaclass/starknet-replay/pull/213
+          ref: 4d63d69d2ab01ce8ba83eb785cb87b3c86c07fdc
       # We need native to use the linux deps ci action
       - name: Checkout Native
         uses: actions/checkout@v4
@@ -44,8 +44,8 @@ jobs:
         with:
           repository: lambdaclass/sequencer
           path: sequencer
-          # https://github.com/lambdaclass/sequencer/pull/79
-          ref: 096d0c4baf87eb41dc4a6facad75a17170c3a967
+          # https://github.com/lambdaclass/sequencer/pull/81
+          ref: bc3349ec0099d0e2a968c52889c9ac5cfd441e76
 
       - name: Restore RPC Calls
         id: restore-rpc-calls

.gitignore

@@ -31,6 +31,7 @@ cairo-*.tar
 *.mlir
 /*.info
 .aot-cache
+**/*.proptest-regressions
 
 *.ipynb
 cairo-native-stress-logs.jsonl