Update Zarith to 1.12

Ulrik Strid requested to merge marigold/opam-repository:ulrikstrid/upgrade-zarith into master Jul 22, 2021