migration strict checks

[andykais]

• initialization migrations should warn when the versions are not all in sync
• versions without any matching upgrades should error
• multiple migrations of the same version on a model should error