Add reporting of LHS values when error occurs in RHS predicate

[dbp]

This, at least partly, addresses #1633.

In particular, it adds a new case of TestResult, failure-exn-satisfies-rhs, which is used when it a satisfies test where an exception was trigger in the RHS. In those cases, we have a value on the LHS, so we should show it along with the exception. I didn't see tests of this kind of behavior, but please point me if there is a way to do it. The four cases that will trigger the new behavior are:

check:
  1 satisfies lam(v): raise("error") end
end

check:
  1 satisfies lam(v): raise("error") end because 1
end

check:
  1 violates lam(v): raise("error") end
end

check:
  1 violates lam(v): raise("error") end because 1
end

And the new error message looks like:

I noticed, as I was doing this, that there may be other cases where there is more information that could be shown, e.g., if an error is triggered by the refinement of an is test, neither the left nor right value is shown, which it seems like they should be:

check:
  1 is%(lam(v1,v2): raise("error") end) 1
end

Of course, there are still more variations -- e.g., if the right side of an is test errors, the left side value could be shown, etc. Of course, maybe there is a way to make this visible in the stack trace which would subsume all of this? Though with the stack manipulation that's going on, perhaps that is expecting too much.