Re: crc-x86_64: undefined behaviour

[Sam Russell]

Worth noting I've seen faults at avx2/512 for reads that aren't correctly
aligned, unless I've made a mistake somewhere along the way