100k LoC is where I start getting really concerned about software complexity. But Ovadia's writing a compiler, which is well suited to taking complexity off other projects!
As for my browserdev strategies: I lean heavily on Haskell's typesystem more than I use assertions. Unexpected codepaths get debugging statements.
Haskell's designed specifically to avoid non-determinism!
