Version 1.13.0-dev.7.9

Cherry-pick 8ef142ef726598a29ba25a7910619ef63ce563e1 to dev
Cherry-pick a4bfe1f1c7db2ad0ad71a277af5644b7e93a97d to dev
Fix problem in cherry-picked status update of html/js_typed_interop_test
Cherry-pick a047373b4f696c897c26ad341e13803022867f2c (partial) to dev
diff --git a/tools/VERSION b/tools/VERSION
index 7486ef6..8f04e0b 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 13
 PATCH 0
 PRERELEASE 7
-PRERELEASE_PATCH 8
+PRERELEASE_PATCH 9