Print counter example path for language equivalence check

When a counter example is printed, currently only the end of the path (last reached locations) and the reason for the non-equivalence is printed. It would be useful to also print the full path to the last reached locations. These are already computed and stored in CounterExample.path, but not yet printed. For uses, it would be useful to see the entire counter example path/trace/scenario.