[next]: Test recorded shifts update in InlineLift pass

[tehrengruber]

The update of the recorded shifts in the InlineLift pass has reached a level that is not feasible to be tested with manually written test data. There are just too many combinations that need to be tested, so we should write some infrastructure that automatically generates various combinations and checks that the recorded shifts that are returned as a result of this pass match what the TraceShifts pass gives. Note that it is in any case required to do the update during the pass since we need the updated recorded shifts in the pass itself.

See here for an example where we manually update the recorded shifts:

gt4py/src/gt4py/next/iterator/transforms/inline_lifts.py

Line 122 in d920c88

# TODO(tehrengruber): This is not tested properly. There are too many combinations of this