my guess is that this is a performance argument. If you don't have to check the results, your circuits to do huge vector calculations can be simpler.