level imports: Fix infinite loop with cyclic module imports

I didn't anticipate that downsweep would run before we checked for cyclic imports. Therefore we need to use the reachability function which handles cyclic graphs.

Fixes #26087 (closed)