Rewrite the runtime bytecode and not just the constructor bytecode

[shellygr]

Description

The Optimism solc implementation is introducing a few tricks to avoid optimizer rewrites to the instrumented bytecode, and in a later pass searches and replaces the patterns with the real intended bytecode.
However, tools (like Certora's Prover tool) consume the runtime bytecode when they analyze contracts.
This PR applies the search-and-replace code to runtime bytecode as well.

Checklist

• Code compiles correctly
• All tests are passing
• New tests have been created which fail without the change (if possible)
• README / documentation was extended, if necessary
• Changelog entry (if change is visible to the user)
• Used meaningful commit messages

Fixes OP-833