[TIR] Add pass ManifestSharedMemoryLocalStage

[vinx13]

Added a pass to insert local (cache) stage for the shared memory. It's similar to cache read but bypasses the limitation of int set analysis for compacting buffer region by inferring the buffer shape from the loop extents.

[junrushao]

Ping @spectrometerHBH for a second review