Software is increasingly being built by AI – it's vital we can trust it