You want to reply to this toot:
For Vulkan shader compression, I have compared my own SMOL-V with SPIRV-Tools "MARK-V" codec, and found some things: http://aras-p.info/blog/2018/10/31/SPIR-V-Compression-SMOL-vs-MARK/
TL;DR: MARK-V compresses well, is a giant executable, and very slow.