Improve slice bound check

[ccojocar]

Improve slice bound check to habdle bounded values and properly parse the address index only from references

fixes #1250
fixes #1406

[codecov-commenter]

⚠️ Please install the to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

❌ Patch coverage is 82.50000% with 7 lines in your changes missing coverage. Please review.
✅ Project coverage is 64.57%. Comparing base (1216c9b) to head (189292e).
⚠️ Report is 148 commits behind head on master.

Files with missing lines	Patch %	Lines
analyzers/slice_bounds.go	82.50%	6 Missing and 1 partial ⚠️
❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1442      +/-   ##
==========================================
- Coverage   68.49%   64.57%   -3.93%     
==========================================
  Files          75       78       +3     
  Lines        4384     4739     +355     
==========================================
+ Hits         3003     3060      +57     
- Misses       1233     1531     +298     
  Partials      148      148              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.