verify: add faster 'memory is all zeroes' helper