Refactor uint512 to use blockext

[edg-l]

Checklist

• Linked to Github Issue
• Unit tests added
• Integration tests added.
• This change requires new documentation.
  • Documentation has been added/updated.

[github-actions]

Benchmarking results

Benchmark for program factorial_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	13.511 ± 0.080	13.417	13.689	31.03 ± 0.23
cairo-native (embedded AOT)	1.575 ± 0.014	1.549	1.601	3.62 ± 0.04
cairo-native (embedded JIT using LLVM's ORC Engine)	1.552 ± 0.016	1.529	1.574	3.56 ± 0.04
cairo-native (standalone AOT)	0.638 ± 0.003	0.635	0.646	1.46 ± 0.01
cairo-native (standalone AOT with -march=native)	0.435 ± 0.002	0.434	0.440	1.00

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	13.011 ± 0.098	12.918	13.265	1606.38 ± 21.26
cairo-native (embedded AOT)	1.095 ± 0.008	1.080	1.105	135.21 ± 1.78
cairo-native (embedded JIT using LLVM's ORC Engine)	1.116 ± 0.010	1.104	1.136	137.77 ± 1.97
cairo-native (standalone AOT)	0.008 ± 0.000	0.008	0.009	1.01 ± 0.02
cairo-native (standalone AOT with -march=native)	0.008 ± 0.000	0.008	0.008	1.00

Benchmark for program logistic_map

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	1.897 ± 0.008	1.885	1.910	27.85 ± 0.21
cairo-native (embedded AOT)	1.207 ± 0.011	1.186	1.229	17.72 ± 0.20
cairo-native (embedded JIT using LLVM's ORC Engine)	1.439 ± 0.009	1.429	1.458	21.12 ± 0.18
cairo-native (standalone AOT)	0.112 ± 0.000	0.111	0.112	1.64 ± 0.01
cairo-native (standalone AOT with -march=native)	0.068 ± 0.000	0.068	0.070	1.00

The base branch was changed.