DeductiveAI, a startup that uses AI to catch and resolve bugs in software, was founded just three years ago.