Implement VecSet

This implements ```VecSet```, i.e., a set that uses a vector under the hood and supports efficient way to mark an element as erased and then either abort it or permanently delete (i.e., exactly what our simplifiers do).  Currently I've only made it work for ```LinearSet``` and ```PseudoLinearSet``` (making ```SemilinearSet``` use it is on my todo list).