Privacy-Preserving and Efficient Verification of the Outcome in Genome-Wide Association Studies