Fix missing mark of pure dims as pure.
Check for illegal reorders at the reorder call, instead of during lowering

Also permits reorders of "pure" rvars.