Add Range Check 96 Builtin Files

[Gali-StarkWare]

This change is 

[Gali-StarkWare]

• Integrate RC96 Builtin #367
• Integrate Range Check 6 #398
• Add Range Check 96 Builtin Files #372 👈 (View in Graphite)
• Add Range Check 6 to Range Check Vector #397
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[ohad-starkware]

please open a pr for RC6 and it's integration seperatly

Reviewed 1 of 4 files at r3.
Reviewable status: 1 of 6 files reviewed, all discussions resolved (waiting on @alon-f, @andrewmilson, and @shaharsamocha7)

[Gali-StarkWare]

Done

Reviewable status: 1 of 6 files reviewed, all discussions resolved (waiting on @alon-f, @andrewmilson, @ohad-starkware, and @shaharsamocha7)

[ohad-starkware]

Reviewed 1 of 5 files at r1, 1 of 2 files at r2, 1 of 4 files at r3, 2 of 2 files at r4, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @alon-f, @andrewmilson, @Gali-StarkWare, and @shaharsamocha7)

---

stwo_cairo_prover/crates/prover/src/components/range_check_builtin_bits_96/prover.rs line 49 at r4 (raw file):

        assert_ne!(log_size, 0);
        Self {
            // TODO(Gali): Remove once air-infra pads to LOG_N_LANES.

is this auto gen?

[Gali-StarkWare]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @alon-f, @andrewmilson, @ohad-starkware, and @shaharsamocha7)

---

stwo_cairo_prover/crates/prover/src/components/range_check_builtin_bits_96/prover.rs line 49 at r4 (raw file):

Previously, ohad-starkware (Ohad) wrote…

is this auto gen?

No

[ohad-starkware]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @alon-f, @andrewmilson, and @shaharsamocha7)