Array: check that queues match

[inducer]

For now, we typically grab the queue from the first input.

Multiple scenarios:

• If there are multiple inputs, we should check that they all have the same queue.
• If there's a specified output, check that its queue is the same.

This would have to come with a deprecation period. We probably want to restrict this checking to __debug__ mode.