test: depositShares >= withdrawableShares invariant
#1201
Merged
depositShares >= withdrawableShares invariant
#1201