Using wetware test oracles is underappreciated. You can't do it in a dumb way, of course, but with a basic grasp of statistics and hypothesis testing you can get very far with sprinkles of manual verification of test results.
(Note: manual verification is not the same as manual execution!)
(Note: manual verification is not the same as manual execution!)