Transaction logic: continue adding docs + tests for invariants#1541

dannywillems merged 5 commits intodevelopo1-labs/mina-rust:developfrom

dw/continue-doc-zkappso1-labs/mina-rust:dw/continue-doc-zkappsCopy head branch name to clipboard