update ivory-model-check/README.md