Pretty cool. For it to scale they are building their own deterministic hypervisor too [0], but also a new distributed database to support their workloads more efficiently [1].
[0] https://antithesis.com/blog/deterministic_hypervisor
[1] https://antithesis.com/blog/2025/testing_pangolin