A new startup called &Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.