irinterp: improve semi-concrete interpretation accuracy (#52275)
By enforcing re-inference on calls with all constant arguments.
While it's debatable whether this approach is the most efficient, it was
the easiest choice given that `used_ssas` based on `IncrementaCompact`
wasn't an option for irinterp.
- fixes #52202
- fixes #50037
