Support comparing arrays of non-constant size with array_equal#8208

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/8176-array_equaltautschnig/cbmc:bugfixes/8176-array_equalCopy head branch name to clipboard