1.27.0.0

What's Changed

• A quick isabelle experiment. by @ramsay-t in #5913
• PLT-8171: Combine PIR, PLC, and UPLC into a single executable by @bezirg in #5699
• chore(deps): bump slackapi/slack-github-action from 1.25.0 to 1.26.0 by @dependabot in #5915
• Kwxm/plc spec/bitwise conversions by @kwxm in #5911
• Use Int64 in CostModelParams by @zliu41 in #5920
• Change CMTooFewParamsError to a warning by @zliu41 in #5912
• [Costing] Provide support for multiple 'CostModel's by @effectfully in #5851
• CaseOfCase kind mismatch error fix by @Unisay in #5923
• Fix some Notes so they pass the check by @kwxm in #5930
• Kwxm/costing/restore old cost model param names by @kwxm in #5932
• Tidy up SimpleJSON.hs by @kwxm in #5936
• Chore: formatting by @Unisay in #5937
• 1.27.0.0 by @zliu41 in #5938

Full Changelog: 1.26.0.0...1.27.0.0