Properly implement checked binops

[bjorn3]

They are currently considered as always succeeding.

Edit: #646 implemented add and sub overflow checks.

[bjorn3]

Added to MVP milestone, as making checked binops always succeeding causes hard to debug crashes at various places of the standard library.

[bjorn3]

Only multiplication is remaining.