Build: Bump Zarith, enable warning 58,

Context

On top of !10524 (merged)

Corresponding opam-repo MR opam-repository!447 (merged)

Bumping zarith constraint to version 1.13 requires some changes to protocol environment.

• it was decided to remove Z.extract and Z.extract_signed from unactive protocol environment
• and fix environment v9 and v10

Also, warning 58 was disabled because Zarith was not installing all its artifacts. This was fixed in https://github.com/ocaml/Zarith/pull/139 and released in zarith.1.13.

Manually testing the MR

Checklist

• Document the interface of any function added or modified (see the coding guidelines)
• Document any change to the user interface, including configuration parameters (see node configuration)
• Provide automatic testing (see the testing guide).
• For new features and bug fixes, add an item in the appropriate changelog (docs/protocols/alpha.rst for the protocol and the environment, CHANGES.rst at the root of the repository for everything else).
• Select suitable reviewers using the Reviewers field below.
• Select as Assignee the next person who should take action on that MR