feat: update benchmark data and cost model parameters for Value builtins

Regenerate cost model parameters based on fresh benchmark runs for the
four Value-related built-in functions: lookupCoin, valueContains,
valueData, and unValueData.

New cost models:
- lookupCoin: linear_in_z (intercept: 209937, slope: 7181)
- valueContains: linear_in_y (intercept: 1000, slope: 131959)
- valueData: constant_cost (182815)
- unValueData: linear_in_x (intercept: 1000, slope: 33361)

The benchmark data includes 350 measurement points across varying input
sizes to ensure accurate cost estimation. All three cost model variants
(A, B, C) have been updated consistently with identical parameters.

Author: Unisay