Verification Theorems for Stochstic Optimal Control Problems via a Time Dependent Fukushima - Dirichlet Decomposition