[veridex] Reflective usage detection improvements.

- Convert a string name to the internal name
- Recognize ClassLoader.loadClass.
- Do a dummy merge in VeriFlow by just overwriting registers.

bug: 77513322
Test: m
Change-Id: Ie2c39fe20972a6f632f2b2dcf4b1153e0af01605
6 files changed