Integrate Verify Bitwise Xor 9

[Gali-StarkWare]

This change is 

[Gali-StarkWare]

• mul mod #439
• Integrate Bitwise Builtin #395
• Integrate Verify Bitwise Xor 9 #402 👈 (View in Graphite)
• Bitwise Builtin Files #381
• Verify Bitwise Xor 9 Files #401
• Add Bitwise Xor to Preprocessed Column Enum #380
• Bitwise Xor Struct #379
• main

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

[ohad-starkware]

Reviewed all commit messages.
Reviewable status: 0 of 3 files reviewed, 1 unresolved discussion (waiting on @Gali-StarkWare and @shaharsamocha7)

---

stwo_cairo_prover/crates/prover/src/cairo_air/air.rs line 70 at r1 (raw file):

    pub verify_instruction: verify_instruction::Claim,
    pub builtins: BuiltinsClaim,
    pub verify_bitwise_xor_9: verify_bitwise_xor_9::Claim,

why is the ordering like that?

[ohad-starkware]

Reviewed 1 of 1 files at r5, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @shaharsamocha7)

[ohad-starkware]

Reviewed 1 of 1 files at r6, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @shaharsamocha7)

[ohad-starkware]

Reviewed 1 of 1 files at r7, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @shaharsamocha7)

[Gali-StarkWare]

Reviewed 1 of 1 files at r8, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @shaharsamocha7)