Leveraging speculative architectures for runtime program validation