Add OpSize16 flags to 32-bit CRC32 instructions so they can be encoded correctly in 16-bit mode.