More cleanup of validity language for proofs and formatting#260

Merged

pipermerriam merged 2 commits intoethereum:new-statenetwork-boogiefrom pipermerriam:piper/more-tweaks-to-state-network-spec

Jan 13, 2024

+35-15

Commits on Jan 13, 2024