This line got me thinking that by default we should run all presentation compiler with and without waiting for fully typechecked sources.

For the specific test, this would boil down to:

```
def runDefaultTests() {
  super.runDefaultTests()
  sourceFiles foreach (src => askLoadedTyped(src).get)
  super.runDefaultTests()
}
```

I'm not suggesting you do it. But if you like the idea, it's something I can look at after the holidays.