It would be very useful to run the aggregation and jstestfuzz fuzzers with the --objcheck flag enabled in the shell. This might need to be performed in a separate infrequently run build variant, because of the overhead of BSON validation. This would allow us to detect when server code attempts to serialize improperly formatted BSON to clients.