I've been working on this with Seb and it's crazy how many bugs we flushed out. He didn't mention in the article but we were also super inspired by the Tigerbeetle team's writing on deterministic simulation testing.