Rebasing proof-systems + algebra + num-bigint

Rebasing our optimizations so that 01labs can use them

- https://github.com/openmina/proof-systems/pull/1
- https://github.com/openmina/algebra/pull/1
- https://github.com/openmina/num-bigint/pull/1
- https://github.com/openmina/num-rational/pull/1

Difficult part here is algebra. This library is abstracting everything + using macros everywhere