chore: updates for new versions

[david-christiansen]

Update to the new Lean version, including bumping dependencies and adapting to upstream language changes.