lighthouse_coverage - an execution tracer for PANDA