Remove WIntPSQ (for now), clean benchmarks, add delete benchmark