Expand Invariant Testing

[apbendi]

• 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