This adds a conformance test that we can generate programs that return various strings as stack output values.