Add execution tests; some still fail.