[mlir] [VectorOps] fixed typo in verifier of slice op

[aartbik]

A small first CL to test the new check-in procedure through phabricator
(but also a useful fix of course :-)

[rriddle]

Please add a [mlir] tag to the commit title.

[merge_guards_bot]

Unit tests: pass. 61744 tests passed, 0 failed and 780 were skipped.

clang-tidy: unknown.

clang-format: pass.

Build artifacts: diff.json, clang-format.patch, CMakeCache.txt, console-log.txt, test-results.xml

mlir/lib/Dialect/VectorOps/VectorOps.cpp

for (unsigned i = 0; i < rank; ++i)
     dimSliceCounts[i] = ceilDiv(shape[i], sizes[i]);
   // Compute the strides between slices in each dimension.
   SmallVector<int64_t, 4> sliceStrides(rank);
   sliceStrides[rank - 1] = 1;
   for (int i = rank - 2; i >= 0; --i)
     sliceStrides[i] = sliceStrides[i + 1] * dimSliceCounts[i + 1];
 
   // Generate each slice shape based on 'sizes', 'strides' and 'vectorType',
-  // and varify that the same matches the corresponding tuple element 'i'.
+  // and verify that the same matches the corresponding tuple element 'i'.
   for (int64_t i = 0, e = tupleType.size(); i < e; ++i) {
     // De-linearize w.r.t. 'sliceStrides'.
     SmallVector<int64_t, 4> vectorOffsets(rank);
     int64_t linearIndex = i;
     for (unsigned j = 0; j < rank; ++j) {
       vectorOffsets[j] = linearIndex / sliceStrides[j];
       linearIndex %= sliceStrides[j];
     }