verification fixes for MInt

@andreistefanescu please review