fix(cost-model): update ChooseData arity to 7 and add Nop7o to overhead calculations

Author: Unisay

plutus-core/cost-model/data/models.R

@@ -97,7 +97,7 @@ arity <- function(name) {
         "HeadList" = 1,
         "TailList" = 1,
         "NullList" = 1,
-        "ChooseData" = 6,
+        "ChooseData" = 7,
         "ConstrData" = 2,
         "MapData" = 1,
         "ListData" = 1,
@@ -363,7 +363,7 @@ modelFun <- function(path) {
     ## appears to give a good trade-off between including the overhead in the
     ## cost of calling the benchmark and absorbing it in the cost of a CEK
     ## machine step.
-    nops <- c("Nop1o", "Nop2o", "Nop3o", "Nop4o", "Nop5o", "Nop6o")
+    nops <- c("Nop1o", "Nop2o", "Nop3o", "Nop4o", "Nop5o", "Nop6o", "Nop7o")
     overhead <- sapply(nops, get.mean.time)
 
     ## The next function discards the overhead for calling a builtin, as