Function check_array_concat_memory 

pub fn check_array_concat_memory(
    a_len: usize,
    b_len: usize,
    line: u32,
) -> Result<(), BopError>

Pre-flight check for array concat