Experimental Kimchi support

[oskarth]

Super hacky initial Kimchi PoC. Wraps some bench tests in Kimchi, https://github.com/o1-labs/proof-systems/blob/master/kimchi/src/bench.rs#L125-L141 Takes some shortcuts with serialization/error handling etc.

Screenshot from iPhone 14:

Minor modifications upstream here https://github.com/oskarth/proof-systems