Proper purity check for unsaturated builtins (#6974)

* refactor: extract test lib from the Purity spec

* UPLC term purity tests and fixes

* refactor (formatting): wrap a long line

* refactor: replace [Arg] with AppCtx to make builtin purity similar for IR and UPLC

* Purity IR: ifThenElse test

* refactor: move AppCtx  and related functions to `Contexts` module.

* feat: use pretty-simple for prettier equality assertions

* tests: specify expected eval order

* fix: evaluation order in purity evaluation

* test: update golden files for budget evaluations and UPLC programs

* s/eval/evalThis/

* Rename Analysis.Spec.Lib to Analysis.Lib

* test: add golden file for if-then-else evaluation and remove redundant test case

* testApplyNoTermParam has 2 cases in it

* Changelog entry.

Author: Unisay

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.uplc.golden

@@ -1 +1 @@
-2164
+2159

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.cbor.size.golden

@@ -1 +1 @@
-ExBudget {exBudgetCPU = ExCPU 864154341, exBudgetMemory = ExMemory 4265388}
+ExBudget {exBudgetCPU = ExCPU 864058341, exBudgetMemory = ExMemory 4264788}

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.large.budget.golden

@@ -1 +1 @@
-ExBudget {exBudgetCPU = ExCPU 83887267, exBudgetMemory = ExMemory 368403}
+ExBudget {exBudgetCPU = ExCPU 83791267, exBudgetMemory = ExMemory 367803}

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.small.budget.golden

@@ -103,7 +103,7 @@ VRF example
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    -     677   (4.1%)      1218917236  (12.2%)           36349   (0.3%) 
+    -     674   (4.1%)      1218869236  (12.2%)           36049   (0.3%) 
 
 G1 Verify