AGORA: Open More and Trust Less in Binary Verification Service