2023.0.0: improved -check bounds

[scivision]

It appears oneAPI 2023.0.0 added a new `-check bounds` `-CB` feature: it now appears to detect the undefined case:

real, allocatable :: A(:)

allocate(A(2))

A(:) = [1,2,3]

previously, A would silently truncate to [1,2].  Now with bounds-checking, this generates a run-time error, which is more desireable.