I mean they work in a sense that retroarch loads them up and recognises them but there is the tradeoff that lr-desume & lr-desume2015 do appear to have slower frame rates, brief freezes at loading points and audio drop outs.
Whereas drastic is miles more stable and a higher compatibility, but won't have the libretro bells and whistles like achievements or overlays.
Honestly if achievements are a deal breaker for you I'd play on a more powerful setup. Or wait until the lr core of drastic is released, whenever that will be (I think the Dev's own forum said sometime 2020 but, you know, 2020 things)