removed deprecated options in double_deletion

double_deletion still uses the older code by default. The new faster
functions are present as their own functions, but are not called by the
wrapper function (for now).