Guarantees on Robot System Performance Using Stochastic Simulation Rollouts