Add checks-effects-interactions violation detector.

[deuszx]

https://docs.soliditylang.org/en/develop/security-considerations.html#use-the-checks-effects-interactions-pattern

I think it should be possible to write a detector for it? Since it maps nicely:

1. Checks == if , assert , etc
2. Effects == mutating state (either directly or by calling other &mut self methods)
3. Interactions == *Ref::method or build_call

especially the last two are most important but also easiest to detect (🤞)