verification fixes for MInt
remove lemma which was needed only by a bug
Merge pull request #879 from dwightguth/mint-verification

verification fixes for MInt