I would think they'd be best-off with writing their own software as a plugin... though granted, that's more work than coding it once for Flash. It's one of the things which Flash is really quite nicely suited for.

But if they're interested in offering higher quality w/ lower bandwidth and lower CPU usage on more machines, Flash is definitely not the way to go if you're making a custom DRM. Video decoding isn't exactly its strong point.