YC-backed Theorem raises $6M to build tools that mathematically verify AI-generated code is correct before it ships.