* Assert that indices are valid for an indexing instruction.