I'm not sure what the correct behavior is. On the one hand it's desirable to give partial messages to the user, on the other hand, the message boundary is actually quite meaningful in UDP, so if we don't make it clear that the message is incomplete, we could get bad behavior later.