9MB is a lot. For scale: I have a rust application; assets (font + music), GUI via GPU, networking, unzipping, a bit of cryptography, it's all in there. 400 dependencies in total (yes, i don't like it).
By these metrics it's by far the largest rust application I've seen thus far. When fully optimized, it's 11MB in size.