Reimport tests from https://github.com/o1-labs/proof-systems/pull/1371 if you want :)

[dannywillems]

          I added in some tests in https://github.com/o1-labs/proof-systems/pull/1371 if you want :)

Originally posted by @dannywillems in https://github.com/o1-labs/proof-systems/pull/1396#discussion_r1416108078

[mrmr1993]

if you want :)

I don't