Add unreduced field arithmetic

[andrewmilson]

Used in downstream PR for computing FRI quotients.

---

This change is 

[andrewmilson]

• Optimize decommiting last FRI layer using univariate FFT #133 : 2 dependent PRs (#152 , #153 )
• Add verifier #127
• Compute FRI quotients #118
• Add CanonicCoset #117
• Add unreduced field arithmetic #116 👈
• Refactor FRI implementation #115
• Refactor Coset with CirclePointIndex #114
• Add formatting to scarb.toml #113
• Update to latest Cairo version #112
• main

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

Join @andrewmilson and the rest of your teammates on Graphite

[Alon-Ti]

up to suggestion once you appease scarb

Reviewed 3 of 3 files at r1, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @andrewmilson and @shaharsamocha7)

---

stwo_cairo_verifier/src/fields/qm31.cairo line 239 at r1 (raw file):

impl UnreducedQM31Mul of Mul<UnreducedQM31> {
    /// Returns `lhs * rhs`. Assumes input coordinates are in the range `[0, P)`.

Maybe there should be a ReducedQM31 type that guarantees this?

[andrewmilson]

Reviewable status: 2 of 3 files reviewed, 1 unresolved discussion (waiting on @Alon-Ti and @shaharsamocha7)

---

stwo_cairo_verifier/src/fields/qm31.cairo line 239 at r1 (raw file):

Previously, Alon-Ti wrote…

Maybe there should be a ReducedQM31 type that guarantees this?

Thanks. Made it safe by adding QM31Impl::mul_unreduced