what was the motivation to select nrv2b for compression?
Speed? Size of decompressor? Coding style?
If the 7z decompressor is less than 80 kb bigger than
the nrv2b decompressor, would it make sense to switch?