Fixes to support both OCaml 4 and 5
Fix for proof generation with higher difficulties
Small build fix for Mac arm64
Add support for Mac arm64
Initial release