These are the typical use cases for key revocation yes? The key should not be installed on non suspected user devices anyway in my opinion.
As for revocation: https://news.ycombinator.com/item?id=29642783
Snowden got a lot of data without anyone stopping him. The risk is what if he’d been malicious instead of a whistleblower?