Reeling things closer towards the realm of the probable here, it's more likely that an interested government agency would opt towards compromising the user's computer rather than going after ProtonMail itself.
We've already seen that they dooften take this approach.
They'd have more to gain this way, including the actual unencrypted plain text of all the user's messages.