Made updates directly influenced by your input. Please feel free to follow up in Github! See https://github.com/bneb/lattice/blob/main/docs/deep-dives/z3-contr

Made updates directly influenced by your input. Please feel free to follow up in Github! See https://github.com/bneb/lattice/blob/main/docs/deep-dives/z3-contracts.md#provable-today-v120 https://github.com/bneb/lattice/blob/main/docs/deep-dives/z3...