README: add bit on MODEL_ASSERT() macro