transformations: stencil shape inference polish

[PapyChacal]

Just update stencil shape inference to cooperative (i.e, bailing not crashing everything) and order-independent (proper use of the worklist instead of application-order assumptions) patterns.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 89.89%. Comparing base (b01afed) to head (a3233a7).
Report is 2 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #3046   +/-   ##
=======================================
  Coverage   89.88%   89.89%           
=======================================
  Files         415      415           
  Lines       52095    52120   +25     
  Branches     8047     8060   +13     
=======================================
+ Hits        46828    46852   +24     
  Misses       3976     3976           
- Partials     1291     1292    +1     

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

[PapyChacal]

Just ported the feature from:

• rewriting: Make modify_block_argument_type modify_value_type #3045

In the stencil code for less friction.