avcodec/huffyuvdec: assume vlcs can be 32 instead of 31 bits max