[graalvmbot]

This PR introduces Transitive Effect Summary Analysis (TESA) for closed-world Native Image builds and updates the original implementation for current master APIs.

Summary:

• build a reverse closed-world call graph from strengthened graphs and propagate conservative method-effect summaries from callees to callers
• enable killed-location, accessed-location, killed-location-set, allocation, loop, side-effect, and throws-exception analyses by default
• attach precise memory and exception summaries to invokes so compilation can remove redundant control flow, hoist invariant loads, and eliminate dead stores across calls when proven safe
• retain conservative effects for unknown or ambiguous callees and report TESA timing and precision in Native Image build output
• automatically disable TESA for open-world, PLT/GOT, and runtime-compilation builds; -H:-TransitiveEffectSummaryAnalysis remains available for explicit opt-out

Commit structure:

• introduce the TESA framework, reverse call graph, effect lattices, killed-location optimization, reporting, and build-mode guards
• register the additional production analyses
• expose accessed-location summaries through invoke memory metadata
• consume accessed-location and no-throw summaries for dead-store elimination across precise invokes

Validation:

• SubstrateVM Eclipse formatting and Checkstyle
• ECJ and javac warning-as-error builds for com.oracle.svm.hosted
• full Native Image build and HelloWorld images with TESA enabled and disabled

Notes:

• TESA is restricted to closed-world builds without PLT/GOT or runtime compilation
• unknown effects continue to use conservative fallbacks