compiler: Add symbolic_strides property

[FabioLuporini]

Tested indirectly in PRO

[codecov]

Codecov Report

❌ Patch coverage is 40.00000% with 3 lines in your changes missing coverage. Please review.
✅ Project coverage is 83.48%. Comparing base (bab9aae) to head (ef26e40).
⚠️ Report is 2 commits behind head on main.

Files with missing lines	Patch %	Lines
devito/types/basic.py	40.00%	3 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #2897      +/-   ##
==========================================
+ Coverage   83.47%   83.48%   +0.01%     
==========================================
  Files         248      248              
  Lines       51546    51551       +5     
  Branches     4437     4437              
==========================================
+ Hits        43027    43038      +11     
+ Misses       7766     7761       -5     
+ Partials      753      752       -1     

Flag	Coverage Δ
pytest-gpu-aomp-amdgpuX	68.77% <40.00%> (-0.01%)	⬇️
pytest-gpu-gcc-	78.10% <40.00%> (+0.21%)	⬆️
pytest-gpu-icx-	77.70% <40.00%> (-0.01%)	⬇️
pytest-gpu-nvc-nvidiaX	69.29% <40.00%> (-0.01%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ 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.