horizon: post audit solidity changes

[juanmardefago]

No description provided.

[openzeppelin-code]

horizon: post audit solidity changes

Generated at commit: 9f37b06944e2dc491c9d191c8d553c590b987aa4

🚨 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

[tmigone]

Closing in favor of #1125 so we can use the working branch