chore: CI: disable problematic fsanitize tests (#11415)

Author: Kha

.github/workflows/ci.yml

@@ -267,7 +267,8 @@ jobs:
                 "CMAKE_PRESET": "sanitize",
                 // `StackOverflow*` correctly triggers ubsan
                 // `reverse-ffi` fails to link in sanitizers
-                "CTEST_OPTIONS": "-E 'StackOverflow|reverse-ffi'"
+                // `interactive` fails/timeouts nondeterministically, would need to be investigated.
+                "CTEST_OPTIONS": "-E 'StackOverflow|reverse-ffi|interactive'"
               },
               {
                 "name": "macOS",

tests/lean/run/async_select_channel.lean

@@ -78,6 +78,9 @@ def testIt (capacity : Option Nat) : Async Bool := do
       ch2.sync.send msg
 
   let acc ← await recvTask
+  -- TODO: we seem to nondeterministically create reference cycles without these, investigate
+  ch1.close
+  ch2.close
   return acc == messages.sum
 
 /-- info: true -/