test: Halmos symbolic proofs + invariant suite for AccountConfiguration#25

chunter-cb wants to merge 1 commit into

refactor/account-hierarchy-and-docsbase/eip-8130:refactor/account-hierarchy-and-docsfrom

test/formal-verificationbase/eip-8130:test/formal-verificationCopy head branch name to clipboard