Labsoc sec

These commits fix both Latency Pragmas to be able to set Avatar States as a checkpoint, and for simulation traces to work even if CPUs are named n'importe quoi.

Also, all the tests pass.