The Complexity of Verifying and Realizing Equilibria in Finite-Horizon Multi-Agent Systems