Cardano Updates

Remove const_above_diagonal optimization since benchmark data shows
linear behavior regardless of input size relationship. The diagonal
optimization assumed quick exit when needle size > haystack size,
but benchmark measurements don't reflect this behavior.

Change valueContains costing from multiplied_sizes to
const_above_diagonal with linear_in_x_and_y inner model.

The new model:
- Above diagonal (y > x): constant cost (early exit, returns False)
- Below diagonal (x >= y): intercept + slope1*x + slope2*y

This better reflects the actual complexity bound O(m*log(n/m+1))
which Kenneth MacKenzie showed is bounded above by a linear function.

Changes:
- models.R: Update valueContainsModel to use const_above_diagonal
- SimpleJSON.hs: Add LinearInXAndY constructor for JSON parsing
- utils.js: Add evaluators for linear_in_x_and_y and const_above_diagonal
- builtinCostModel{A,B,C}.json: Regenerated with new model type

Feat/core 206 jsi poc

Co-authored-by: jorbuedo <[email protected]>

Keep navigator re-export pattern from YW-115 branch which refactors
airdrop UI into separate screens (AirdropMainScreen, DestinationAddressScreen,
ThawScheduleScreen) instead of single monolithic component.

- Replace hardcoded strings with translation keys (phase announcement, thaw number)
- Standardize time formatting to use slashes instead of colons
- Fix navigation types: change 'airdrop-main' to 'airdrop' in TxHistoryRoutes
- Replace custom getExplorerUrl/truncateAddress with existing code patterns
- Use wallet.networkManager.explorers directly instead of custom explorer logic
- Use Address component truncation pattern for address display