Iterative Value Function Optimization for Guided Decoding