Speculator: a tool to analyze speculative execution attacks and mitigations.