Verified post-quantum cryptography on the web