Advancing Frontiers of Path Integral Theory for Stochastic Optimal Control