[Feature] Field Compiler R1CS Synthesis

[gluax]

🚀 Feature

We should support the operators ==.!= on the field type.
This depends on snarkVM first implementing these features.

Motivation

Fields should have equality operations, as this also blocks #946 and blocks #947.
Which helps the implementation goal of #929.

Implementation

Field Gadget

• Implement the impl<F: PrimeField> EvaluateEqGadget<F> for Field trait leo/compiler/src/value/field/field_type.rs.
• Implement the impl<F: PrimeField> ComparatorGadget<F> for Field trait leo/compiler/src/value/field/field_type.rs.
• Implement the impl<F: PrimeField> EqGadget<F> for Field trait leo/compiler/src/value/field/field_type.rs.
• Implement the impl<F: PrimeField> ConditionalEqGadget<F> for Field trait leo/compiler/src/value/field/field_type.rs.

Tests

• Compiler Tests:
  • Test == for the field type.
  • Test != for the field type.