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.