No pending runs

Stax_Machine doesn't have any runs pending verification.