Yeah, the issue is serious but at the same time:
"This problem occurred only in cases where every node was killed at roughly the same time".
And there are 100 nodes on the network.
(and it is fixed now)
Well, Radix says it is fixed now. That's the gist of their response to this report, "we fixed a lot of things and no one's tested the new code but trust us!"
nope, if you read it one more time, for this particular issue Jepsen confirms the fix.