The why is simply: Don't trust, verify. What I mean is that yes DVMs are super cool, but i think we should start thinking about a way to provide verifiable computation for sensitive services.