No pending runs

HashTM doesn't have any runs pending verification.