heap_lang/lifting.v: Don't run auto on hopeless goals

Noticed while reading the code. This doesn't save much now, but failing auto can take longer.

Those goals happen to be solvable by [done] as well, so use that.

I also dropped some inconsistent line breaks.