Fix overly enthusiastic Assert introduced in 8.1: it's expecting a

CaseTestExpr, but forgot that the optimizer is sometimes able to replace
CaseTestExpr by Const.