1.17.0.0

What's Changed

• Kwxm/count mainnet builtin usage by @kwxm in #5635
• Oops: analysing redeemer instead of datum for V2 by @kwxm in #5637
• Remove an unused module by @zliu41 in #5638
• Add recordFieldsManual test by @zliu41 in #5636
• Make sure opaque types are actually opaque by @zliu41 in #5641
• PLT-1565 Add support for cost in the metatheory untyped CEK machine by @mjaskelioff in #5639
• Simplify/improve the code generation for AsData/IsData by @michaelpj in #5546
• Update usage of pre-commit in CONTRIBUTING.adoc by @zeme-wana in #5646
• Marlowe validator using Data by @michaelpj in #5509
• Add some comments on FromBuiltin/ToBuiltin/Lift by @michaelpj in #5585
• Release 1.17.0.0 by @bezirg in #5650

Full Changelog: 1.16.0.0...1.17.0.0