Create detectors for semantic changes due to Solidity IR

https://docs.soliditylang.org/en/v0.8.13/ir-breaking-changes.html#semantic-only-changes

0.8.13 allows to use of the new IR pipeline, but comes with risks due to semantics changes. We should create detectors to help developers to review if they can use the new version without impacting their contracts.

We can make these detectors directly public to help a larger audience.

Start with the linked Solidity 0.8.13 IR semantic-only changes documentation and turn each documented risk into a detector scope. Define how the detectors should identify affected contracts and what public output and validation would demonstrate that the work is complete.

Written by the indexing model from the issue text.