This rand probably makes a lot more sense if you are using some other random sequence generator
Update rand to be deterministic
Use new assert-error sspec assertion
3.7 done.  I think there is a more elegant way to do this
3.8 done.  If only there were one way to test it