Detect looping equalities in `scalar_tac`

[sonmarcho]

trafficstars

scalar_tac calls simp_all in its preprocessing phase to "normalize" the terms, leading to loops when we have assumptions of the shape: x = f x in the context. This can lead to surprising errors, especially as scalar_tac is used in many places. We should detect such assumptions and ignore them.