StocHy: Automatic Verification and Synthesis of Stochastic Processes