“The Update-Equivalence Framework for decision-time planning is based on update equivalence rather than on solving subgames.”