Enable usage of all provable types for protokit

[rpanic]

Currently protokit limits o1js types to be of FlexibleProvablePure, covering 99% of all use-cases.
But some advances users might want to use non-pure provable types as well (like all usages of Unconstrained<>) for example.

For this, we'd need to change most serializations to have not only a Field[], but additional auxiliary data as well.