AnimatedSprite doesn't support high DPI image variants

The attached example should use the @2x version of the image when run with a display that has a device pixel ratio of 2, but instead it always uses the regular variant, resulting in blurriness. Even setting the source to the @2x variant directly doesn't work, as it seems to have no concept of high DPI, so the resulting animation is wrong.