[water] make index attribute verifier check that it provides index mappings for all symbols used in the operation

Walk the operand and result types and check that the index attribute, when present, has an entry for every symbolic dimension. If there are legitimate cases where it may be temporarily missing, this can be a normal form or a separate pass, but let's start by trying full verification first.