Execution health

What the action executor ran, whether the writes verified, and what is stranded. Live from action_queue and mutation_log.