MIP Ref Impl: Increase zkApp account update limit

[glyh]

This PR does 3 things:

• Redesign cost formula for Zkapp command, now the cost is just the number of segments a command have.
• Filter out invalid constitutions, credit to @cjjdespres Reverted, I'm thinking adding another function later rather than in costs.
• Double the cost limit so we have binary trees that are one level deeper

[glyh]

!ci-build-me

[cjjdespres]

The MIP is here, for reference: https://github.com/MinaProtocol/MIPs/blob/main/MIPS/mip-0009-increase-zkapp-account-update-limit.md

[glyh]

Looks like this PR needs to be redo.

[glyh]

Force pushed to keep it update with develop