It's not ignoring about ignoring null pointer or overflow checks, it's having to necessarily insert these checks everywhere.
You would not want to force these by default, nobody wants it. You can not statically determine them unnecessary in for the vast majority of code, even stuff as simple as `print(read(a) + read(b))`.