[TS Calls] Execute semantic models written in TypeScript

[CaelmBleidd]

Summary

• add the ETS_IR_BODY implementation kind and load reproducible TypeScript model artifacts through the native JacoDB frontend
• merge validated model EtsIR files into the analysis scene and execute model bodies through the normal interpreter with receiver, argument, return, exception, alias, and shared-state transfer
• apply domain guards and configured residual fallback, route nested unknown calls through the same dispatcher, and prevent recursive model redirection
• include source and EtsIR hashes in the frozen catalog fingerprint and reject ambiguous scene artifacts
• document the complete configuration flow, both descriptor and supported-domain IDs, matcher/domain boundaries, exact and partial precision, backend choice, fallback profiles, model selection, and common mistakes

This PR is stacked on #377 and should be merged after it.

Testing

• ./gradlew :usvm-ts:test --tests 'org.usvm.machine.call.*' :usvm-ts:detektMain :usvm-ts:detektTest --no-daemon
• ./gradlew :usvm-ts:check --no-daemon
• git diff --check

Closes #366

Part of #360

Depends on #377