Enable dynamic arrays

[guipublic]

Problem

Dynamic arrays are implemented in PR #886 but they are disabled within the PR because of verification failing the integration test.

Proposed solution

We should fix the issue and enable dynamic arrays:

• allows to write arrays with field index type in the fronted
• enable the integration test in 6_array

Alternatives considered

No response

Additional context

No response

[Savio-Sou]

Is this a duplicate of #507?

[guipublic]

No, dynamic arrays are now implemented but they are not activated yet.
The implementation change the index from comptime FieldElement to FieldElement, so the issue #507 remains valid.

[colinnielsen]

@guipublic are dynamic arrays enabled in nargo 0.3.2?

[guipublic]

@guipublic are dynamic arrays enabled in nargo 0.3.2?

No, the test case does not verify. This should not happen since noir proofs should be valid. We have other cases with the same issue (some are very simple) so we suspect a problem on the backend. Since we are going to switch to a new backend very soon, we are just waiting for the new backend.