Partial Identification and Inference for Dynamic Models and Counterfac