Tech »  Theorem wants to stop AI-written bugs before they ship — and just raised $6M to do it