add documentation of default for --max-nondet-array-length, see #8428#8432

peterschrammel merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

lks9:doc_8428lks9/cbmc:doc_8428Copy head branch name to clipboard