Probably not enough memory for IR code unless you switch to a fatter microcontroller like the Teensy. More importantly, IR doesn’t get along well with these particular LEDs (WS2812). IR libraries employ pin interrupts to receive remote signals. Unfortunately, to meet the LED timing requirements, the Arduino suspends its interrupts while light data is being sent.
