[Feature-request]: MultiSig wallet properties

[tuturu-tech]

Describe the desired feature or improvement

Since a lot of MultiSigs work in a relatively similar way (e.g., using signatures, some threshold of votes/signatures is required, only approved signers can execute, etc.) we could probably build a set of general properties to test MultiSigs.

For example:

• If votes < threshold, calls can't be executed
• Signatures cannot be reused
• nonce is strictly monotonously increasing
• nonce can only be used once