Bayesian Model Checking Strategies For Dichotomous Item Response Theory Models