Update dhall-lang

This includes the new record selection inspection optimizations.
Some test setup tweaks in dhall-lang
Fix alpha normalization on normalize tests
Normalize multiline string literal line endings
Add Natural/subtract
Fix stack level too deep for single quote string
Specialize the visitor since we only use it one place
Do not start IO work until asked
Update resolve tests to test actually valid cases
Integrity check must happen after all resolves
Deprecated syntax removed, no need to skip
Typecheck while resolving
Remove union literal syntax
Helper to get ipfs path based on integrity check
Put Prelude version in the Pinata metadata
Update dhall-lang to v9.0.0
Use a cURL headers file instead of env vars
Pin to Pinata instead of tar to 0x0