chore: bump dependencies (#8626)

Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author: kim-em

lake-manifest.json

@@ -4,7 +4,7 @@
  [{"url": "https://github.com/leanprover/std4",
    "type": "git",
    "subDir": null,
-   "rev": "3044327685b4ee9e490561fbbb032b03288bf570",
+   "rev": "a652e09bd81bcb43ea132d64ecc16580b0c7fa50",
    "name": "std",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -22,7 +22,7 @@
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
-   "rev": "bf5ab42a58e71de7ebad399ce3f90d29aae7fca9",
+   "rev": "c7cff4551258d31c0d2d453b3f9cbca757d445f1",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",