Add an execution engine test.

This is based on the factorial example.