Merge anything from OSDI branch to main

If this branch contains anything important for the evaluation other than experiment script changes let's merge it to main: https://github.com/binpash/hs/compare/main...OSDI-resubmission