ci: run mc tests out of ivory-model-check/dist.