[veridex] Add a flow analysis pass to detect precise reflection usages.

bug: 77513322
Test: m
Change-Id: Iab47ca16ec09586afea8f11344e84f58d40bec1e
14 files changed