[TS Calls] Define model selection and residual fallback profiles

[CaelmBleidd]

Summary

• add explicit outcomes for modeled calls, fresh symbolic returns, and stopped paths
• configure model lookup independently from residual fallback, with four named profiles and explicit class-family overrides
• use models followed by path stopping as the production default while retaining compatibility dispatch for legacy characterization tests
• keep model lookup behind a registry-free provider interface and document fresh symbolic fallback semantics
• add focused tests for all profiles, option wiring, overrides, and source call result typing

Testing

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

Closes #363
Part of #360
Builds on #362