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