Bump js-slang from 1.0.23 to 1.0.25 (#900)

Bumps [js-slang](https://github.com/source-academy/js-slang) from 1.0.23 to 1.0.25.
- [Release notes](https://github.com/source-academy/js-slang/releases)
- [Commits](https://github.com/source-academy/js-slang/commits)

---
updated-dependencies:
- dependency-name: js-slang
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Author: dependabot[bot]

package.json

@@ -31,7 +31,7 @@
     "fs-extra": "^11.1.1",
     "http-server": "^14.1.1",
     "husky": "^8.0.3",
-    "js-slang": "^1.0.23",
+    "js-slang": "^1.0.25",
     "lz-string": "^1.5.0",
     "prettier": "^2.8.8",
     "xmldom": "^0.6.0",

yarn.lock

@@ -2043,10 +2043,10 @@ js-base64@^3.7.5:
   resolved "https://registry.yarnpkg.com/js-base64/-/js-base64-3.7.5.tgz#21e24cf6b886f76d6f5f165bfcd69cc55b9e3fca"
   integrity sha512-3MEt5DTINKqfScXKfJFrRbxkrnk2AxPWGBL/ycjz4dK8iqiSJ06UxD8jh8xuh6p10TX4t2+7FsBYVxxQbMg+qA==
 
-js-slang@^1.0.23:
-  version "1.0.23"
-  resolved "https://registry.yarnpkg.com/js-slang/-/js-slang-1.0.23.tgz#7ce3e842615103dc926a9053cf864f278eb21142"
-  integrity sha512-gB646EktYb/BEL/n4aAsGVFGuZOl8rFNAlHFu7t15TpIrvRYivhNDGURqs9hLxdUeebejHVQ2kJsWJWwdNwT5w==
+js-slang@^1.0.25:
+  version "1.0.25"
+  resolved "https://registry.yarnpkg.com/js-slang/-/js-slang-1.0.25.tgz#4d91c1c881675a1aa87b5948c48f0e3ed11698ee"
+  integrity sha512-SyuThwDHyKzVdiedxbg18UiYdvYWA/Fyj27mrgUNx4GERuy5+NrRKoOtz1Nv7byLo+GsRijoTgE83mmkv1Nh7g==
   dependencies:
     "@babel/parser" "^7.19.4"
     "@joeychenofficial/alt-ergo-modified" "^2.4.0"