Bufferization of a `tensor.collapse_shape`

operation seems to generate a `memref.collapse_shape`

op that does not pass verification. For example, this input:

```
func @main(%arg0: tensor<1x2049xi64>, %arg1: index) -> tensor<2049xi64> {
%0 = tensor.collapse_shape %arg0 [[0, 1]] : tensor<1x2049xi64> into tensor<2049xi64>
return %0 : tensor<2049xi64>
}
```

when processes with `mlir-opt --one-shot-bufferize`

fails with the error message:

```
example.mlir:2:10: error: 'memref.collapse_shape' op expected collapsed type to be 'memref<?xi64, affine_map<(d0)[s0, s1] -> (d0 * s1 + s0)>>', but got 'memref<2049xi64, affine_map<(d0)[s0, s1] -> (d0 * s1 + s0)>>'
%0 = tensor.collapse_shape %arg0 [[0, 1]] : tensor<1x2049xi64> into tensor<2049xi64>
^
example.mlir:2:10: note: see current operation: %1 = "memref.collapse_shape"(%0) {reassociation = [[0, 1]]} : (memref<1x2049xi64, affine_map<(d0, d1)[s0, s1, s2] -> (d0 * s1 + s0 + d1 * s2)>>) -> memref<2049xi64, affine_map<(d0)[s0, s1] -> (d0 * s1 + s0)>>
example.mlir:2:10: error: 'memref.collapse_shape' op expected collapsed type to be 'memref<?xi64, affine_map<(d0)[s0, s1] -> (d0 * s1 + s0)>>', but got 'memref<2049xi64, affine_map<(d0)[s0, s1] -> (d0 * s1 + s0)>>'
%0 = tensor.collapse_shape %arg0 [[0, 1]] : tensor<1x2049xi64> into tensor<2049xi64>
^
example.mlir:2:10: note: see current operation: %1 = "memref.collapse_shape"(%0) {reassociation = [[0, 1]]} : (memref<1x2049xi64, affine_map<(d0, d1)[s0, s1, s2] -> (d0 * s1 + s0 + d1 * s2)>>) -> memref<2049xi64, affine_map<(d0)[s0, s1] -> (d0 * s1 + s0)>>
```

The IR dumped just before invoking the verifier is:

```
func @main(%arg0: tensor<1x2049xi64>, %arg1: index) -> tensor<2049xi64> {
%0 = bufferization.to_memref %arg0 : memref<1x2049xi64, affine_map<(d0, d1)[s0, s1, s2] -> (d0 * s1 + s0 + d1 * s2)>>
%1 = memref.collapse_shape %0 [[0, 1]] : memref<1x2049xi64, affine_map<(d0, d1)[s0, s1, s2] -> (d0 * s1 + s0 + d1 * s2)>> into memref<2049xi64, affine_map<(d0)[s0, s1] -> (d0 * s1 + s0)>>
%2 = bufferization.to_tensor %1 : memref<2049xi64, affine_map<(d0)[s0, s1] -> (d0 * s1 + s0)>>
return %2 : tensor<2049xi64>
}
```