WS2812 LED bit code problem

Why not use the FastLED.h library or Adafruit's Neopixel library, which handles the timing manipulation in assembly code to achieve the fast timing needed?