[multibyte] Expand array load and store validation (#8929)

Expand array load and store validation to all numeric, vector, and
packed element types (i8, i16, i32, i64, f32, f64, v128), as well as
offset and alignment immediates.

Multibyte array operations apply to numeric and vector array backing
types. This permits loads from mutable and immutable arrays while
enforcing mutability on stores, rejecting non-numeric arrays, and
validating offset and alignment immediates.