Plutus Release 1.53.0.0 (#1129)

* Added plutus-core-1.53.0.0

From https://github.com/IntersectMBO/plutus at 3d886f497f7533448fa01a44b38aa06ac647f548

* Added plutus-ledger-api-1.53.0.0

From https://github.com/IntersectMBO/plutus at 3d886f497f7533448fa01a44b38aa06ac647f548

* Added plutus-metatheory-1.53.0.0

From https://github.com/IntersectMBO/plutus at 3d886f497f7533448fa01a44b38aa06ac647f548

* Added plutus-tx-1.53.0.0

From https://github.com/IntersectMBO/plutus at 3d886f497f7533448fa01a44b38aa06ac647f548

* Added plutus-tx-plugin-1.53.0.0

From https://github.com/IntersectMBO/plutus at 3d886f497f7533448fa01a44b38aa06ac647f548

* Remove QuickCheck allow-newer

* Revision for plutus-core: add QuickCheck upper bound

Author: ana-pantilie

_sources/plutus-core/1.53.0.0/meta.toml

@@ -0,0 +1,7 @@
+timestamp = 2025-09-04T13:46:00Z
+github = { repo = "IntersectMBO/plutus", rev = "3d886f497f7533448fa01a44b38aa06ac647f548" }
+subdir = 'plutus-core'
+
+[[revisions]]
+number = 1
+timestamp = 2025-09-04T13:47:00Z