AI-coded smart contracts may be flawed, could ‘fail miserably’ when attacked: CertiK