serialization of verification key and proof

[kunxian-xia]

We want to how many bytes the zkvm proof occupies and the number of hashes that verification needs. This can give us a quick estimation for the recursion cost.

[matthiasgoergens]

If some beginners wants to tackle this: just about any binary serialisation scheme should give a good estimate. (Basically, don't use JSON.)