Scan: detect sum overflows + selectable sum vector element size
Scan: add no-check flag