pub fn has_mulx() -> bool
True if the CPU has MULX (BMI2) and ADCX/ADOX (ADX), for the Montgomery kernels below.