✨ Add an example contract to validate DaoActionData

[doitian]

• setup contract development env 📦 Setup contract development env #28
• generate schema rust code for contract ✨ Generate rust code from schemas #29
• dao action data schema validation ✨ Verify dao action data schema #36
• coverage: all operations in tx can be found in action. DerivedDaoActionData#complete
• withdraw ✨ Verify withdraw operation #38
• claim from ✨ Verify claim from #40
• deposit to ✨ Verify deposit to #37
• deposit from: allow deposit from any input cells except dao deposit cells ✨ Verify deposit from and claim to #41
• claim to: allow claim to any input cells except dao withdraw cells ✨ Verify deposit from and claim to #41

Architecture

DerivedDaoActionData is responsible to verify deposit to, withdraw and claim from

• Derive dao operations from tx DerivedDaoActionData#derive
• Verify that the derived operations can be found in the CoBuild message, and there are now two derived operations mapping to the same operation in the CoBuild message. DerivedDaoActionData#verify
• Verify that all derived operations can be found. DerivedDaoActionData#complete

DerivedCkbAccounting is responsible to verify deposit from and claim to

• Accumulate accounting requirements from CoBuild message DerivedCkbAccounting#derive
• Tally the CKB balance in tx and verify the account balances are sufficient DerivedCkbAccounting#verify