Cardano Updates

Added tests

- Changed CPU cost model from a simple linear model to a more complex model with constant and intercept values.
- Updated the type from "multiplied_sizes" to "const_above_diagonal" for better accuracy in cost estimation.
- Adjusted arguments for intercept, slope1, and slope2 to reflect new performance metrics.

Add some derived Eq instances

Revert builtinCostModel{A,B,C}.json to master to avoid unnecessary
re-indentation diff. The valueContains cost model will be updated
once new benchmarks complete with ValueTotalSize for both args.

Change valueContains benchmark to use ValueTotalSize for both container
and contained arguments, enabling meaningful diagonal comparison:
- When contained size > container size, containment is impossible
- This allows const_above_diagonal optimization in cost model

Also update R model to fit const_above_diagonal with proper diagonal
filtering for above/below diagonal data points.

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