[engine] Rule: Detect unbounded loop iterations mapping to target inputs (Gas Exhaustion/DoS)

[Gbangbolaoluwagbemiga]

Context

Unbound user-controlled loops can cause out-of-gas reverts.

What to build

Implement S012 (Gas Exhaustion Risk). Detect loops depending on parameters without limits.