Implement Debug time wraparound check for signed and unsigned integers

[certik]

Both signed and unsigned integers should trigger a runtime (or even compile time if possible) error message on wraparound or if the cast cannot be done.