Это к чему именно они стремятся? К ебанутым экторам, которые совершенно невозможно нормально верифицировать и которые любую даже нераспределённую систему эффективно превращают в распределённую?
Верификация нужна либо в life-critical системах, либо сосункам, не умеющим в изоляцию и каскадирование ошибок, и ты не похож на разраба софта для АЭС.