[Draft] Numeric precondition on zkapp state

[georgeee]

Experimental draft to allow setting a numeric precondition on the first state element.

Checklist:

• [ ] Dependency versions are unchanged
  • Notify Velocity team if dependencies must change in CI
• [ ] Modified the current draft of release notes with details on what is completed or incomplete within this project
• [ ] Document code purpose, how to use it
  • Mention expected invariants, implicit constraints
• [ ] Tests were added for the new behavior
  • Document test purpose, significance of failures
  • Test names should reflect their purpose
• [ ] All tests pass (CI will check this if you didn't)
• [ ] Serialized types are in stable-versioned modules
• [ ] Does this close issues? List them

• Closes #0000

[georgeee]

There is a bunch of failwiths and compiles only up to mina_lib.

But this seems to be not a hard thing to pull upwards