Print *random-state* when a test fails
Print full condition message
Add DO-TEST macro