Check inferred integer literals for overflows, closes #4220
Remove type overflow checks from check_const.rs

The checks are now handled by the linter