We thought about it, but there are multiple problems with that.
4k RSA keys take really long to generate, even longer if you're on a platform that does not support generating the keys natively via WebCrypto API. On mobile, that is prohibitively slow. We're talking about 10 minutes on some platforms.
Is it possible to change the default key size. Maybe to 4096 bit RSA?