More specific error message for division by zero

[rschumi0]

It would be nice if there could be a more meaningful error message when a division by zero is happening. Right now the message is only: VM error: invalid opcode.

This can make debugging more troublesome, especially since unexpected zeros can occur easily, e.g., when an overflow happens.

[chriseth]

This kind of conflicts with the assert / require dualism. I would say it is a duplicate of #1686

[cameel]

Do we consider this solved now that we have implemented #9995?

[axic]

Yes. It is now up to frameworks to support it, there are some pending issues for that, but it is beyond our control.