Update dependencies

[Baptouuuu]

The filesystem proofs fail because in the previous major release to relied on an implicit feature of the in memory filesystem that has been changed since then. The bug was present on a concrete filesystem but was unnoticed before now.

The problem lies with the fact that the notCommited adapter doesn't keep track of deleted files/directories. So when applying the directories to the commited adapter it fails to apply removals.

Todo:

• fix the filesystem transaction mechanism
• update documentation

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.35%. Comparing base (e7f1791) to head (6b6035c).
⚠️ Report is 12 commits behind head on develop.

Additional details and impacted files

@@            Coverage Diff             @@
##             develop      #64   +/-   ##
==========================================
  Coverage      97.34%   97.35%           
+ Complexity       965      964    -1     
==========================================
  Files            123      123           
  Lines           5357     5370   +13     
==========================================
+ Hits            5215     5228   +13     
  Misses           142      142           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.