Expr: Ensure that shrinking division doesn't underflow
This might fix #8. However, the fact that we only observed this in testcases involving pext suggests that there may be a bug in our handling of that MachOp (hence we were shrinking).
Edited by Ben Gamari