Verification Theorems for Markov Decision Processes with Controlled Deterministic Drift and Gradual and Impulsive Controls