[veridex] Add a --target-sdk-version to avoid false positives.

1) Recognize Build.VERSION.SDK_INT in flow analysis
2) Recognize simple if patterns.

bug: 79404565
bug: 77513322
Test: m

Change-Id: I7318755316e92cb2970fffa9ee35092d19270bc3
4 files changed