lisa.trace: Check Trappy behavior

Make sure Trappy actually loaded the trace it was asked for, and not something
else. If that assertion fails, it's probably because a trace.txt was asked for,
and a trace.dat exists in the same folder.