The drmemtrace buffer's redzone was much larger than necessary, as it only needs to hold about one basic block's worth of memory references. We shrink it substantially here based on -max_bb_instrs: now it's 4K by default (for -offline) as opposed to the 32K it took before, which makes a significant difference on apps with many threads.
Fixes #2299 (closed)