checkmodel: Delete the strict tail checking.
checkmodel: Delete the strict tail checking.

The current model design implicitly gurantees these conditions:

 1. (len1 - idx1) == remain.count(DELETE)
 2. (len2 - idx2) == remain.count(INSERT)

So we don't need to check them manually in `_checkmodel()`.

fujimotos/fastcomp