Make some assertions in solver into debug assertions These may or may not be expensive :> r? lcnr
CanonicalVarInfo
TypeFlags