Bug fixes for model verification script and unpickling (grrr) operation ordering