feat(tests): add property-based tests for mathematical invariants#200

Mosas2000 merged 1 commit intomainMosas2000/SprintFund:mainfrom

fix/add-property-based-testsMosas2000/SprintFund:fix/add-property-based-testsCopy head branch name to clipboard