Здравствуйте, #John, Вы писали:

J>т.е. получается в EF добавили метод Down просто для красоты

Скорее для разработки: если при разработке поменялось требование, или обнаружилась ошибка, можно быстро откатить миграцию, исправить модель и накатить её заново. В продакшене, само собой, откат миграции требуется в крайне экзотических случаях.