chore: update SubVerso for further incremental rebuild improvements (#940)

Author: david-christiansen

lake-manifest.json

@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "247be9733a2b560f285472eaa86c6036db946cb4",
+   "rev": "859ab80c32c5851151919a7d757d7c0c0b6e39d2",
    "name": "subverso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

test-projects/anchor-examples/lake-manifest.json

@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "08c4d5b4721a6f09c8749f53654198e9e8d37be0",
+      "rev": "09b053f74253377ba2d51c5c379757ed237f17f9",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",

test-projects/documented-package/lake-manifest.json

@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "08c4d5b4721a6f09c8749f53654198e9e8d37be0",
+      "rev": "09b053f74253377ba2d51c5c379757ed237f17f9",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",

test-projects/literate-config/lake-manifest.json

@@ -52,7 +52,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "247be9733a2b560f285472eaa86c6036db946cb4",
+      "rev": "859ab80c32c5851151919a7d757d7c0c0b6e39d2",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",

test-projects/literate-multi-root/lake-manifest.json

@@ -52,7 +52,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "247be9733a2b560f285472eaa86c6036db946cb4",
+      "rev": "859ab80c32c5851151919a7d757d7c0c0b6e39d2",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",

test-projects/website-examples/lake-manifest.json

@@ -6,7 +6,7 @@
       "url": "https://github.com/leanprover/subverso",
       "type": "git",
       "subDir": null,
-      "rev": "08c4d5b4721a6f09c8749f53654198e9e8d37be0",
+      "rev": "09b053f74253377ba2d51c5c379757ed237f17f9",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",

test-projects/website-literate/lake-manifest.json

@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "08c4d5b4721a6f09c8749f53654198e9e8d37be0",
+      "rev": "09b053f74253377ba2d51c5c379757ed237f17f9",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",