CertiK has launched its Certik Chain blockchain, which purports to offer advanced security features including DeepSEA-based smart contracts