Cardano Updates

Bumps [devalue](https://github.com/sveltejs/devalue) from 5.1.1 to 5.8.1.
- [Release notes](https://github.com/sveltejs/devalue/releases)
- [Changelog](https://github.com/sveltejs/devalue/blob/main/CHANGELOG.md)
- [Commits](https://github.com/sveltejs/devalue/compare/v5.1.1...v5.8.1)

---
updated-dependencies:
- dependency-name: devalue
  dependency-version: 5.8.1
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>

Signed-off-by: KtorZ <[email protected]>

Signed-off-by: KtorZ <[email protected]>

Bumps [openssl](https://github.com/rust-openssl/rust-openssl) from 0.10.72 to 0.10.79.
- [Release notes](https://github.com/rust-openssl/rust-openssl/releases)
- [Commits](https://github.com/rust-openssl/rust-openssl/compare/openssl-v0.10.72...openssl-v0.10.79)

---
updated-dependencies:
- dependency-name: openssl
  dependency-version: 0.10.79
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [postcss](https://github.com/postcss/postcss) from 8.4.49 to 8.5.14.
- [Release notes](https://github.com/postcss/postcss/releases)
- [Changelog](https://github.com/postcss/postcss/blob/main/CHANGELOG.md)
- [Commits](https://github.com/postcss/postcss/compare/8.4.49...8.5.14)

---
updated-dependencies:
- dependency-name: postcss
  dependency-version: 8.5.14
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [svelte](https://github.com/sveltejs/svelte/tree/HEAD/packages/svelte) from 5.53.12 to 5.55.7.
- [Release notes](https://github.com/sveltejs/svelte/releases)
- [Changelog](https://github.com/sveltejs/svelte/blob/main/packages/svelte/CHANGELOG.md)
- [Commits](https://github.com/sveltejs/svelte/commits/[email protected]/packages/svelte)

---
updated-dependencies:
- dependency-name: svelte
  dependency-version: 5.55.7
  dependency-type: direct:development
...

Signed-off-by: dependabot[bot] <[email protected]>

Signed-off-by: KtorZ <[email protected]>

This reverts commit ca4230a1d9ec75736b2580638867c374b2a5ac31.

Signed-off-by: KtorZ <[email protected]>

Signed-off-by: KtorZ <[email protected]>

Signed-off-by: KtorZ <[email protected]>

  It's not always better to curry builtins, but it seems to more often be the case; and cases where it's actually worse are rare. The previous code attempted to count occurences of the curried builtin in the code, which was a good idea, but it failed to capture the case of recursive functions; a node may appear only one time in the UPLC tree, yet still be called many many times at runtime. Given that the overhead of hoisting a curried builtin is small; it likely is a much better strategy.

Signed-off-by: KtorZ <[email protected]>

 This then allows the currying optimisation to kick in.

Signed-off-by: KtorZ <[email protected]>

Tests run:
- rustfmt +1.94.1 --edition 2024 --check crates/aiken/src/cmd/verify.rs
- cargo +1.94.1 test -p aiken docs_
- cargo +1.94.1 test -p aiken cmd::verify::tests::
- cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --generate-only --artifacts always --json
- cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json

Tests run:
- rustfmt +1.94.1 --edition 2024 crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/result_parser.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs
- rustfmt +1.94.1 --edition 2024 --check crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/result_parser.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs
- cargo +1.94.1 test -p aiken-project generate_workspace_
- cargo +1.94.1 test -p aiken-project doctor_report_serializes_to_json
- cargo +1.94.1 test -p aiken-project status
- cargo +1.94.1 test -p aiken-project parse_verify_results
- cargo +1.94.1 test -p aiken cmd::verify::tests::
- cargo +1.94.1 run -p aiken -- verify capabilities --json
- cargo +1.94.1 run -p aiken -- verify doctor --json
- cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --out-dir build/verify-profile-smoke --artifacts always --solver-profile symbolic --trust-profile production --timeout 2400 --json (cold cache)
- cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --out-dir build/verify-profile-smoke --artifacts always --solver-profile symbolic --trust-profile production --timeout 2400 --json (warm cache)
- cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --out-dir build/verify-strict-cert-smoke --artifacts always --solver-profile strict-cert --trust-profile production --timeout 2400 --json
- cargo +1.94.1 fmt --all --check [fails on unrelated formatting drift in crates/aiken-project/src/blueprint/definitions.rs and crates/aiken-project/src/tests/mod.rs]
- cargo +1.94.1 test -p aiken-project verify::tests:: [fails on pre-existing unrelated verify::tests:: expectations/snapshots]

Tests run:
- rustfmt +1.94.1 --edition 2024 crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs
- rustfmt +1.94.1 --edition 2024 --check crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs crates/aiken/src/cmd/verify.rs
- cargo +1.94.1 test -p aiken-project counterexample_
- cargo +1.94.1 test -p aiken solver_counterexample_label_
- cargo +1.94.1 test -p aiken-project parse_verify_results
- cargo +1.94.1 test -p aiken-project status
- cargo +1.94.1 test -p aiken-project theorem_result_serializes_new_status_and_certification
- cargo +1.94.1 test -p aiken cmd::verify::tests::
- cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json
- cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/091 --artifacts always --timeout 2400 --json
- cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/102 --artifacts always --timeout 2400 --json
- cargo +1.94.1 test -p aiken-project verify::tests:: (broader practical check; known unrelated failures remain)
- cargo +1.94.1 fmt --all --check (workspace still has unrelated formatting drift outside this stage)

Tests:
- rustfmt +1.94.1 --edition 2024 --check crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs
- cargo +1.94.1 test -p aiken-project scenario_
- cargo +1.94.1 test -p aiken-project phase12_
- cargo +1.94.1 test -p aiken-project accepts_
- cargo +1.94.1 test -p aiken-project step_fn_sound_via_reachability_helpers
- cargo +1.94.1 test -p aiken-project inner_schema_lookup_fails
- cargo +1.94.1 test -p aiken-project state_machine_error_proof_emits_witness_caveat
- cargo +1.94.1 test -p aiken-project h4_debug_mode_emits_widened_def_and_partial_caveat -- --exact
- cargo +1.94.1 test -p aiken cmd::verify::tests::
- cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --generate-only --artifacts always --json
- cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json

Tests run:
- rustfmt +1.94.1 --edition 2024 crates/aiken-lang/src/test_framework.rs crates/aiken-project/src/test_framework.rs crates/aiken-project/src/export.rs crates/aiken-project/src/lib.rs crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs
- rustfmt +1.94.1 --edition 2024 --check crates/aiken-lang/src/test_framework.rs crates/aiken-project/src/export.rs crates/aiken-project/src/lib.rs crates/aiken-project/src/verify.rs crates/aiken-project/src/verify/tests.rs
- cargo +1.94.1 fmt --all --check
- cargo +1.94.1 test -p aiken-lang normalize_fuzzer_
- cargo +1.94.1 test -p aiken-lang tuple_elem_arg_index_prefers_mapper_binder_over_outer_local_alias
- cargo +1.94.1 test -p aiken-project composed_
- cargo +1.94.1 test -p aiken-project sampler_
- cargo +1.94.1 test -p aiken-project compatibility_
- cargo +1.94.1 test -p aiken-project parse_verify_results
- cargo +1.94.1 test -p aiken-project status
- cargo +1.94.1 test -p aiken-project generate_workspace_manifest_
- cargo +1.94.1 test -p aiken cmd::verify::tests::
- cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --generate-only --artifacts always --json
- cargo +1.94.1 run -p aiken -- verify run examples/acceptance_tests/property_smoke --artifacts always --timeout 2400 --json
- cargo +1.94.1 test -p aiken-project verify::tests:: (observed existing unrelated failures outside this stage)