are there good examples of automated slashing that were truly from malicious behavior (as opposed to incompetence - such as accidentally running two nodes with same key)?