verify property
Decode each band record back and measure the deviation before declaring a bound for it.
On by default, because a bound nobody verified is worse than no bound: consumers will trust it. The arithmetic that produced these bytes is three lines and would agree with itself if it were wrong, so what is measured is what came back out of the record.
Implementation
final bool verify;