Fix removed require.
Fix broken case in case-lambda.
Fix case lambda to only check cases with arities that haven't been covered yet.

Closes PR 14459.