Division fails fast for `divMod` \w integer-simple

We want Natural to match the behaviour of Integer as well as Integer/Natural from integer-gmp, namely to have

 divMod x 0 = _|_

not

 divMod x 0 = (_|_, _|_)

See #16091 (closed) for an example of where this matters.