equality of two arrays is true iff `a` and `b` have the same length and for all
`i in indices` we have `a[i] = b[i]`.

For performance, this will compare the length of the arrays first.

This is defined only if T : property.equatable, it will result in a compile-time panic
if this is not the case.