Do They Add Up? Using Macro Counterfactuals to Assess Micro Estimates and Macro Models