DEX Merlin had more than $1 million stolen immediately after Certik audited its code