remove bad contraints on overlapping rvalues of array operations

When building a debug runtime library and running the test suite against it, some of these asserts in the constraints of array operations are triggered. The spec says that "The lvalue slice and any rvalue slices must not overlap." but that does not disallow overlapping rvalues. I'd say the asserts are false.