Antithesis, a new startup, is developing an automated platform for testing software in a reliable, ostensibly safe way.