feat: indicate no output in trace propagation failures #1389
Description
Summary
When we have a trace propagation failure because of a mismatch between the actual output given, and the expected output, the error message always reports output values. This is confusing when, in fact the program hit a fail instruction and didn't produce any output. Currently, in such case, it reports all 0 for the output.