feat(pallet-market): verify_deals_for_activation

[th7nder]

Description

Implements verify_deals_for_activation method which is called by Storage Provider Pallet through primitives/proofs/trait and loose coupling to check whether given sector can be activated and won't err on Activation.
This method also computes CommD

Important points for reviewers

• docs: design Market Pallet #72
• Reference implementation
• CommD

Checklist

• Are there important points that reviewers should know?
  • If yes, which ones?
• Make sure that you described what this change does.
• If there are follow-ups, have you created issues for them?
  • If yes, which ones? / List them here
    • Market Pallet: port compute_commd #92
• Have you tested this solution?
• Were there any alternative implementations considered?
  • This function Errs if any deal in any sector is not valid, fails fast. Alternative would be to gather errors, batch them, and return as response. However... this is just not how reference implementation works.
  • Name primitives/proofs and all, are just something, somewhere, not sure it's best, but it works.
• Did you document new (or modified) APIs?

[jmg-duarte]

LGTM though it could benefit from the comments.

Not blocking merging for those right now though

[cernicc]

Nice 👍