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

bug: 77513322
Test: m

(cherry picked from commit 242758af3cf6eae389f43d3804acaabaa4ba93da)

Change-Id: Ifd9bed0819541ea88fc5363b5c7c2726972456ed
14 files changed