Perhaps something like what TigerBeetle does: deterministic simulation testing.