PE-7211: Invariance integration testing#242

Draft

arielmelendez wants to merge 4 commits intodevelopfrom PE-7211_invariant_checks

+132-9

Commits on Dec 9, 2024

test(gar): start of basic invariant testing of system after gar tests PE-7211
Ariel Melendez
committed
test(invariants): assert balance vault invariants PE-7211
Ariel Melendez
committed
test(invariants): adjust invariant values PE-7211
Ariel Melendez
committed
test(invariants): more precise balance assertions PE-7211
Ariel Melendez
committed