This fixes Trac #1251; test case is gadt/CasePrune

GHC was being over-eager about pruning dead alternatives from case
expressions, and that led to a crash because the case expression 
ended up with no alternatives at all!

See the long comments Note [Pruning dead case alternatives] in Unify.