tie-performer: using a vector always leads to memory corruption

tie-performer: using a vector always leads to memory corruption

So, we have use a deque instead, which works perfectly. I have no
idea where the corruption comes from with vectors. After the first
now_heads_.push_back (inf_mom), the now_heads_.size() will always
be something like 3303820998 instead of 1 ????