hacprsim manual: first cut of chapter on how simulator works (execution)
draft of timing-back-annotation chapter