A Verificiation Theorem for Combined Stochastic Control and Impulse Control