fix two problems in MemreadEngine exposed by MatMul.  1: > != >=   2: dynamicAssert is not your friend