Verify 2-D iterator dimension associations
Bind each two-dimensional iterator range and trace its induction
variable to the corresponding map bound and array extent in target update
and declare mapper lowering tests.
This makes range, induction-variable, bound, and dimension swaps observable.
