add README for ivory-model-check