redex: fix error messages for #:satisfying

Closes PR 14642