stochastic_control: minor mdp optimizations (well, perhaps 25%)