Further optimization of decode_highsnr.pyx