OptimizeRelinearization is incompatible with loops

As of https://github.com/google/heir/pull/2561/, when loop support is enabled the relinearization optimizer is skipped. Relin ops inside the loop body get deleted. Likely the pass needs to be updated to process each basic block separately, and recursively handle loop bodies as their own independent basic block.