Fix for proof generation with higher difficulties
Small build fix for Mac arm64
Add support for Mac arm64
Initial release