BREAKING: `asserted`, `have` are now macros + have picked up some new capabilities

* Better error reporting.
* Ability to supply pred fns (as before), _or_ assertion expressions.
v1.11.0