Expand Invariant Testing #36
Description
- Additional / new invariants for Staker that were previously not covered by UniStaker (Ed might have some ideas, also see UniStaker audit reports)
- Invariant testing for the concrete calculator implementation
{{ message }}