[water] verify that index expression step/size is strictly positive

[ftynse]

Its semantics dictates that it must be positive since it expresses the number of elements taken along a dimension.

This assert is not backed by a verifier. In WaveIndexMappingAttr::verify we do not check for step > 0

Originally posted by @martin-luecke in #989 (comment)