Actually update luau to 715

Vighnesh-V · Vighnesh-V · commit 35992b90f1dd · 2026-04-06T10:39:08.000-07:00
diff --git a/extern/luau.tune b/extern/luau.tune
@@ -1,5 +1,5 @@
 [dependency]
 name = "luau"
 remote = "https://github.com/luau-lang/luau.git"
-branch = "null"
-revision = "null"
+branch = "0.715"
+revision = "40d4815888f63362a6cb79b3e74c4aafa0b2cbf4"
