Then notary-proposer-executors would not need to check their own witnesses, giving them an extra competitive advantage. And of course witnesses add overhead. There is a trade-off between more storage and disk reads/writes with witnesses and more latency with interactive verification. Perhaps an optimal approach is to find a middle way between these two kinds of approaches.