TRST audit fixes for data service contracts

[tmigone]

This PR addresses the following findings:

• TRST-L-1 DataService cannot be initialized using __DataService_init_unchained() unlike stated in docs
• TRST-L-13 Allocations could be created with a provision below the minimum valid amount
• TRST-R-3 Verify state transitions
• TRST-R-4 Lack of storage slots in upgradeable contracts
• TRST-R-5 Equivalent contracts behave differently
• TRST-R-6 Protect from developer errors by improving docs of inheriting contracts

[openzeppelin-code]

TRST audit fixes for data service contracts

Generated at commit: 4a25bab88473bd82e88e32cfdc0b137835912522

🚨 Report Summary

	Severity Level	Results
Contracts	Critical High Medium Low Note Total	2 4 0 15 39 60
Dependencies	Critical High Medium Low Note Total	0 0 0 0 0 0

---

For more details view the full report in OpenZeppelin Code Inspector