Example contract for testing values returned by ret.

We've recently removed exec_with_return from the EE testing internal mod. We need to write an example that shows how to use a proxy contract that calls a contract that uses ret, then stores the value as a named key.