added the #:keep-going keyword argument to redex-check