Task/revenue stateful

[RemmyAcee]

Close: #509

Summary of Changes

1. Admin Broadcast Event Channel

• contracts/settlement/src/events.rs : Added event_admin_broadcast with test
• contracts/settlement/src/lib.rs : Added broadcast function (admin only, validates severity and message length <= 256)
• contracts/vault/src/lib.rs : Added broadcast function (admin only, validates severity and message length <= 256)

2. Stateful Invariant Runner for Revenue Pool

• contracts/revenue_pool/src/test_proptest.rs :
  • Fixed existing batch_distribute_duplicate_recipient_handling test (replaced HashSet with Vec )
  • Added stateful_invariant_runner test that uses proptest to generate random action sequences and verifies invariants
  • Added multiple invariants (balance >= virtual scheduled, etc.)

3. CI Nightly Job

• .github/workflows/ci.yml : Added test-nightly job that runs daily at 00:00 UTC with nightly Rust

[drips-wave]

@RemmyAcee Great news! 🎉 Based on an automated assessment of this PR, the linked Wave issue(s) no longer count against your application limits.

You can now already apply to more issues while waiting for a review of this PR. Keep up the great work! 🚀

Learn more about application limits

[RemmyAcee]

Done, Close: #518

[greatest0fallt1me]

Merged via direct push to main (admin)