The real reason is much more fundamental than that. Implementors generally
do test code but they tend to have included in the code all the checks for
things that they thought might be unusual and break it. Those they didnt think
of in the code they wont normally think of in the testing