dfa: prevent exponential memory usage in live var analyzer (IDEA-131285)

* skip "not interesting" instructions
* cancel dfa after processing too many different states