[TIR] Output DeclBuffer in LowerThreadAllreduce (#15646)

For any local buffers allocated as part of `LowerThreadAllreduce`,
generate a `DeclBuffer`.

This is a subset of the changes made in
#14778, broken out for ease of
testing and review.

src/tir/transforms/lower_thread_allreduce.cc

@@ -429,6 +429,7 @@ class ThreadAllreduceBuilder final : public StmtExprMutator {
     // Fix all local allocations as all statements are built.
     Stmt body = SeqStmt::Flatten(seq);
     for (Buffer buf : new_alloc_bufs) {
+      body = DeclBuffer(buf, body);
       body = Allocate(buf->data, buf->dtype, buf->shape, const_true(buf->dtype.lanes()), body);
     }