refactor: refine cost model parameters for Value builtins

Updated cost parameters based on fresh benchmark data analysis:

- lookupCoin: Adjusted intercept (284421→179661) and slope (1→7151)
  to better reflect actual performance with varying currency counts
- valueContains: Changed from added_sizes to linear_in_y model with
  refined parameters (intercept 42125119→1000, slope 30→130383)
- valueData: Reduced constant cost (205465→153844) based on updated
  profiling results
- unValueData: Switched to linear_in_x model with refined parameters
  (intercept 10532326261→1000, slope 431→33094)

All three cost model variants (A, B, C) updated for consistency.

Author: Unisay

plutus-core/cost-model/data/builtinCostModelA.json

@@ -1209,8 +1209,8 @@
   "lookupCoin": {
     "cpu": {
       "arguments": {
-        "intercept": 284421,
-        "slope": 1
+        "intercept": 179661,
+        "slope": 7151
       },
       "type": "linear_in_z"
     },
@@ -1222,10 +1222,10 @@
   "valueContains": {
     "cpu": {
       "arguments": {
-        "intercept": 42125119,
-        "slope": 30
+        "intercept": 1000,
+        "slope": 130383
       },
-      "type": "added_sizes"
+      "type": "linear_in_y"
     },
     "memory": {
       "arguments": 1,
@@ -1234,7 +1234,7 @@
   },
   "valueData": {
     "cpu": {
-      "arguments": 205465,
+      "arguments": 153844,
       "type": "constant_cost"
     },
     "memory": {
@@ -1245,8 +1245,8 @@
   "unValueData": {
     "cpu": {
       "arguments": {
-        "intercept": 10532326261,
-        "slope": 431
+        "intercept": 1000,
+        "slope": 33094
       },
       "type": "linear_in_x"
     },