test: add property-based tests for drip contract invariants

[lishmanTech]

• Uses proptest to generate random sequences of pause, resume, withdraw, and change_rate actions
• Asserts invariant: total withdrawn + remaining balance == initial deposit
• Ensures accrued balance remains flat during paused periods
• Helps prevent logic errors across complex pause/resume/rate-change cycles

closes #87