Stack allocated, fixed-size small vector

[ezyang]

Right now, we use std::vector for everything but this is really slow. We need a stack allocated fixed-size vector to make this cheap.