feat: add statistical models and cost parameters for Value builtins

Implements optimal statistical models for Value operations based on
performance characteristics: linear models for lookupCoin and valueContains
(size-dependent), constant model for valueData (uniform performance),
and linear model for unValueData.

Provides accurate cost parameters across all builtin cost model
configurations and updates test expectations.

Author: Unisay