Decision procedure based discovery of rare behaviors in stochastic differential equation models of biological systems