Update to dhall-lang v10.0.0
Switch encoding of binary URI format
Support mixed-kind records
Fix for new Set#=== in newer Ruby

Because breaking things is point releases is how Ruby rolls.
Pass newly added tests
Minitest fail fast for unit tests
Simplify Natural/subtract on x === y
Implement dependent types, assert : A === B
LetBlock is just sugar now and not part of the AST
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
Fix stack level too deep for single quote string
Specialize the visitor since we only use it one place