Stochastic optimal control in infinite dimensions: verification and optimal synthesis