feat: Optimized Compression#9

osmanyasar05 wants to merge 4 commits into

mainopencompl/datapath-verification:mainfrom

better_compressopencompl/datapath-verification:better_compressCopy head branch name to clipboard