Don't save the lockfile on reduction

This is the result of a stupid bug where, if for some reason a lockfile conversion doesn't fail, but included an unsolvable graph, you are left with an ugly lockfile that is only partially filled.

/cc @schisamo