Adding ideas from paper by Albert et al.

[msooseth]

Description

Adding simplification ideas from the paper "Super-optimization of Smart Contracts" paper by Albert et al.

Checklist

• [x] tested locally
• [ ] added automated tests
• [ ] updated the docs
• [x] updated the changelog