Testing Model Specification in Approximate Bayesian Computation Using Asymptotic Properties