Fixed typo in SyGuS language specification. Also new version of stochastic solver.