feat: implement From array trait for BoundedVec

[LogvinovLeon]

Description

Problem*

Implementing a concise, single-line method for converting arrays to BoundedVec would enhance usability.

Summary*

This pull request implements the From trait to enable array-to-BoundedVec conversions, allowing for the following usage

let vec = BoundedVec::from([1, 2, 3]);

instead of:

let vec: BoundedVec<Field, 3> = BoundedVec::new();
vec.extend_from_array([1, 2, 3]);

Additional Context

Documentation*

Check one:

• No documentation needed.
• Documentation included in this PR.
• [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[github-actions]

Thank you for your contribution to the Noir language.

Please do not force push to this branch after the Noir team have started review of this PR. Doing so will only delay us merging your PR as we will need to start the review process from scratch.

Thanks for your understanding.

[jfecher]

Looks good, two things:

1. Can you create a from_array function as well for users that prefer a more explicit constructor? This helps users find this function in the docs as well.
2. Do you mind adding these to the docs? They are in docs/docs/noir/standard_library/containers/boundedvec.md. You should be able to copy & edit an existing entry for the formatting.

[jfecher]

You can ignore the macos errors - we're having issues with that runner currently

[TomAFrench]

Merging master will fix the macos errors.

[akonior]

@jfecher I've added from_array method directly to BoundedVec impl and updated documentation.

[jfecher]

Thank you!