This makes the main skip-function-bodies.swift test easier to maintain because there are fewer `RUN:` lines to wade through in the output. The early `RUN:` lines that redirect stderr to stdout were also making iterative debugging very painful.
