Ага, теперь у нас вместо одной статической проверки типов два места, где все может навернутся - запись при апдейте в таблицу Version и проверка этой таблицы при старте проги.
Кстати, упомянутая в посту необходимость одновременно статической и динамической типизации - это из той же оперы. Часть программы должна оставаться работоспособной вне зависимости от схемы базы, а другая часть должна валится с записью в лог сразу же, не отходя от Main.