[TS Calls] Add guarded semantic model registry and execution

[CaelmBleidd]

Summary

• add a deterministic semantic-model registry with frozen per-run selections and a catalog fingerprint derived from model IDs and implementation kinds
• execute exact and partial guarded plans with normal and exceptional successors, state changes, aliases, residual profile fallback, and observer events
• add the built-in INTRINSIC Array.pop model while preserving the compatibility dispatcher behavior

This PR replaces #376 after its squash commit was removed from main.

Testing

• ./gradlew :usvm-ts:test --rerun-tasks
• ./gradlew :usvm-ts:detektMain :usvm-ts:detektTest
• git diff --check

Closes #365

Part of #360