Making contracts memory-safe

[remedcu]

This PR does the following things:

• Updates the solc used to 0.8.19 (Need confirmation if this should be done @nlordell / @mmv08 ) for both the project as well as FV using Certora.
• Makes it possible to compile using 0.8.19 with viaIR and optimization enabled (To check, use .env file with solidity version and settings with the appropriate values)
• Updates assembly to be memory-safe either through tags explicitly or by using proper free memory allocation.

Closes #544

[github-actions]

CLA Assistant Lite bot All contributors have signed the CLA ✍️ ✅

[remedcu]

I have read the CLA Document and I hereby sign the CLA

[coveralls]

Pull Request Test Coverage Report for Build 7475596867

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 94.567%

---

Totals
Change from base Build 6969581763:	0.0%
Covered Lines:	397
Relevant Lines:	405

---

💛 - Coveralls

[nlordell]

LGTM - if it isn't too much hassle, I would propose to move the returndatasize changes to a separate PR so that change doesn't get mixed up in this one.

[remedcu]

Will make a new issue & PR once this is merged for the returndatasize. Will merge this one, once all the checks pass.

Thank you all for reviewing this PR!