It's also not clear that the server must forward all the delivery receipts before it forwards the later replies.

Could it just eat them all?

EDIT: after a quick look at the spec¹, it seems that it supports out-of-order messages, meaning the server could selectively eat receipts.

[1] https://whispersystems.org/docs/specifications/doubleratchet...