Introducing Spot Gen 3 and Spot Trace