And document 3 bugs found by running many times testBackupNodeLost. About the tic() issue, I had a case where the test exited instead of looping forever after the storage crash.
