Bounding the finite-size error of quantum many-body dynamics simulations