feat: update Value builtin cost models with remote CI benchmark data

Replace local benchmark data with results from GitHub Actions remote
execution and regenerate cost model parameters for the four Value-related
builtins: lookupCoin, valueContains, valueData, and unValueData.

Remote benchmarking provides more consistent and reliable measurements
by running on standardized infrastructure, eliminating local environment
variations that could affect cost model accuracy.

Updated parameters across all cost model versions (A, B, C):
- lookupCoin: intercept 203599→210606, slope 7256→8019
- valueContains: slope 130720→94161
- valueData: constant 156990→162241
- unValueData: slope 36194→15417

Author: Unisay