use SmallVectors for some of the rewriter vectors (with enough size to keep additional mallocs from happening.)