Checkify: misc improvements.

[LenaMartens]

• err.throw == check_error(err): meaning they now have the same behavior under checkify (the error is discharged even when running an eager checkify)
• divided by zero -> division by zero
• add validation that check_error only takes args of type Error
• str(Error) now doesn't expose the Error attributes and just prints the error message