In cases where WiredTiger detects a data corruption it would be useful to dump more specific information in diagnostic mode. For example the bytes that were being compared, and exactly what was expected.
The first place to look for places to output this information would probably be in verify code.