chore: update the FFI for release (#10435)

Specifically, this updates the proofs libraries and enables CUDA by default.
This commit is contained in:
Steven Allen
2023-03-10 12:13:59 -08:00
parent 9d994dac9e
commit d2c1962e34