Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus