zkvm proof size statistics data

[hero78119]

This PR implement formatter on ZKVMProof to break down proof size, which helps to identify and prioritize recursion tasks

NOTE: it's based on basefold mpcs

e2e proof stat: overall_size 19.07mb.
opcode mpcs commitment 0%
opcode mpcs opening 40%
opcode tower proof 0%
opcode main sumcheck proof 0%
table mpcs commitment 0%
table mpcs opening 32%
table mpcs fixed opening 25%
table tower proof 0%
table same r sumcheck proof 0%