Revert "Update the case tactic for backchaining sequents"

This breaks too many existing proofs and should be postponed to 2.1 or later.

This reverts commit 96fce26514b8e07567f949395f8570134a26631d.