Blockchain sleuths have discovered that CertiK researchers engaged with U.S.-banned crypto mixer Tornado Cash after the "white-hat" Kraken hack.