Quantum algorithm for tree size estimation, with applications to backtracking and 2-player games | Synapse