Improve tests for example programs. libofpexec is now an example.