Bump plutus for important upstream changes

[kk-hainq]

This PR bumps plutus to:

• Address Bump plutus dep to allow building with cabal #242 thanks to an upstream fix (Use PartialTypeSignatures to deal with the Tickish mess plutus#4331).
• Simplify Refine dependencies and remove unused packages #214, which will then be updated to also cover Bump cardano-node from 1.32.1 to 1.33.0 #240.

Most changes are in the third commit that auto-generates test files. Only the first two commits have (small) manual changes. With the second commit addressing this upstream API change: IntersectMBO/plutus#4284.

Pre-submit checklist:

• Branch
  • Tests are provided (if possible)
  • Commit sequence broadly makes sense
  • Key commits have useful messages
  • Relevant tickets are mentioned in commit messages
  • Formatting, materialized Nix files, PNG optimization, etc. are updated
• PR
  • Self-reviewed the diff
  • Useful pull request description
  • Reviewer requested

[raduom]

Looks good to me, generally, but there are a lot of golden test changes that someone more knowledgeable may want to also review.

[silky]

Nice; thanks @kk-hainq ! :)