Spies should validate their return values

[benrady]

Spies should validate their return values against the :ret spec, if available. Note that stest/instrument does not do this, so we're deviating from that behavior in this regard.