[Agathos]

Conventional Jacuzzi is much more amenable to static analysis. And just look at the startup time!

But I'll admit: these folks know how to scale.