Completely understand & track type reachability

[ChristophTF]

Description

Some code sites where types get marked reachable by the analysis are yet ignored wrt. the Causality Export:

• AnalysisUniverse.lookupAllowUnresolved()
• Class/DynamicHub-Objects found on the heap: ImageHeapScanner and ReflectionDataBuilder