socket_msg_trunc: allocate a large enough buffer

Allocate 9000 bytes to match the largest requsted size. Add a check to
prevent the list of sizes and buffer size from getting out of sync
again.

Reviewed by: markj
Found with: CheriBSD
Differential Revision: https://reviews.freebsd.org/D43340