Restore UPLC pretty-printing once newer Plutus version is available

[Unisay]

Background

The project previously had UPLC pretty-printing functionality via pretty-uplc script that used the plutus or uplc executables from the Plutus repository.

This functionality was removed because:

1. Current Plutus pin (ba16ec68d3, Release 1.45.0.0) only exports musl64 executables
2. Musl executables require building Agda, which is unacceptable for dev shell
3. We can't upgrade Plutus beyond what's used in the latest cardano-node release

Task

Restore UPLC pretty-printing in treefmt when a newer Plutus version becomes available that:

• Exports non-musl plutus or uplc executables
• Is used by the latest cardano-node release
• Works on both Linux and Darwin platforms

Implementation

1. Update Plutus pin in flake.nix to the newer version
2. Add plutus or uplc executable to dev shell buildInputs
3. Restore pretty-uplc script in flake.nix
4. Re-enable UPLC formatter in treefmt.toml

References

• Plutus repository: https://github.com/IntersectMBO/plutus
• Cardano-node releases: https://github.com/IntersectMBO/cardano-node/releases
• UPLC print command: uplc print --if textual -i <file> -o <output>

Acceptance Criteria

• UPLC files are automatically pretty-printed by treefmt
• Works on both Linux and Darwin
• Does not require building Agda in dev shell
• Compatible with Plutus version used in latest cardano-node release