Upgrade to openpgp.js v0.9.0