Multicore verification engine for networks of stochastic hybrid automata