The London startup closed $25M and shipped a verification engine that audits circuit boards before prototypes exist.