[water] verify index expressions to have at most one non-unit step

[ftynse]

I think this is only enforced in the read/write verifier. Maybe we should relax this to an error

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