fix: align cost model key lists with Haskell ParamName enum order

[jonathanlim222]

This PR updates the cost model logic to support the upcoming v11 changes.

• Cost model initialization based on protocol version: Cost models are now parameterized by protocol version, enabling version-specific builtin costs (e.g. Plomin builtins at PV10+, PV11 builtins). Added initialize_cost_model and default_v3_cost_model entry points, along with eval_with_params for evaluation with explicit protocol version and cost model parameters.
• Replace program-version gating with protocol-version gating for constr/case: The textual parser, flat decoder, and CEK machine now use a unified is_constr_case_available() check that considers both protocol version (>= 9) and program version (>= 1.1.0), instead of only checking the UPLC program version.