Add support for applying bool functions to zrange

[JasonGross]

Towards more fine-grained bounds analysis of if and Z.{max,min,ltb,leb,gtb,geb}

Towards https://github.com/mit-plv/fiat-crypto/pull/1609 and https://github.com/mit-plv/fiat-crypto/pull/1769

[JasonGross]

Windows fails with

Run ocaml/setup-ocaml@v2
Change the file system behavior parameters
Retrieve the Cygwin cache
Error: Request timeout: /

not sure what's up, but the rest of the build succeeds, so merging.