fn contains_zeros(b: &[u8]) -> bool
Return true if b contains at least one zero.
Try to run in constant time.