Distributed Verification and Grid Computing