Unmatching dimensions are allowed in multidimensional arrays

[stdrc]

Describe the bug

PG checks the dimensions when constructing, concatenating and aggregating multidimensional arrays, but we currently don't.

To Reproduce

# constructing
select array[array[1,2], array[3]];

# concatenating
select array[array[1,2]] || array[array[3]];

# batch aggregating
select array_agg(a) from (values (array[array[1,2]]), (array[array[3]])) t(a);

# streaming aggregating
create table t (a int[][]);
insert into t values (array[array[1,2]]), (array[array[3]]);
create materialized view mv as select array_agg(a) as agg from t;
select * from mv;

Expected behavior

These queries all fail on PG, but succeed on RW.

Additional context

#5060 (comment)

[stdrc]

Ah, seems to be duplicate with #3811. Close this for now.