Remove type overflow checks from check_const.rs

The checks are now handled by the linter
Check inferred integer literals for overflows, closes #4220