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.