Hello! This is mainly a question for Markus Kuppe and Jack Vanlightly, but I'll ask in public for the sake of other readers, and in case there are other experts who can weigh in. I'm watching Markus and Jack's 2022 talk about
Obtaining Statistical Properties by Simulating Specs with TLC, and considering what TLA+/TLC changes might make this technique more powerful or convenient.
Question: Have there been major advances since that 2022 talk? New TLA+ or TLC features? Has anyone invented new methods with the existing features?