Amoxi: What a durable agent run costs, measured

Runs per second, checkpoint size, and what happens to a lease when a worker freezes. Measured on a small machine, with a script you can run yourself.