Now 'redo test' runs the tests, but 'redo t' just builds the programs. Also removed wvtest stuff; we're not really using it properly anyway and it's not helping our testing right now. It might come back later.
