Add an assert saying that if an input has premultiplied alpha, it must also have...