Introduce component graph constraint closure

[soareschen]

Description

The implementation of the component graph design pattern makes it difficult for new context implementations such as #3566 to debug constraint errors on missing trait implementation.

To ease the use of component graphs, we introduce closure traits like CanUseDefaultRelayComponents to assert that a given relay context is expected to implement all dependencies that are required for the default relay component graph to work.

---

PR author checklist:

• Added changelog entry, using unclog.
• Added tests: integration (for Hermes) or unit/mock tests (for modules).
• Linked to GitHub issue.
• Updated code comments and documentation (e.g., docs/).
• Tagged one reviewer who will be the one responsible for shepherding this PR.

Reviewer checklist:

• Reviewed Files changed in the GitHub PR explorer.
• Manually tested (in case integration/unit/mock tests are absent).