Binance Labs, the crypto exchange's incubator wing, says it has has invested millions in smart contract and blockchain auditing platform CertiK.