check-satisfied error when arguments swapped links to location within rackunit

[dbp]

Here's a reproduction:

#lang lsl

(define (f x) #t)

(check-satisfied f #t)

The error message is... reasonable (seems like it could, in theory, be better, but it's not too bad), but the srcloc (the red X that is linked) is messed up for some reason....

[camoy]

Looks like this now:

The error was directly inherited from rackunit which didn't do any input validation of its own. I've added to some of the other check forms some contracts as well.