Change raise messsage.
Tweak progress format.
Change assert failure message.
Change refute failure message.
Scope assert specs.
Meh. Let's fold this.
Minor tweak to spec description.
Support asserting an expression and predicate.
Scope refute specs.
Support refuting an expression and predicate.