(Unsound transform) Remove modules that the user says to drop, and simultaneously remove all instances of these submodules.
This is useful for modules that the user knows VL-Lint can't make any sense of, or for modules that the user just isn't interested in because they are, say, owned by some other logic designer.