Finite-Time Regional Verification of Stochastic Nonlinear Systems