Private analysis and simulation tools for the Move ecosystem.