The reason is that it would be asking too much computational power on the part of the witness node. A trade off had to be made.