Design controller FTL journal replay and power-loss test matrix

[manishklach]

Move simulator checkpoint recovery into an explicit controller journal design: ordering, checksums, replay, checkpoints, and injected interruption cases.