BREAKING: `asserted` is now a macro with `have` as alias

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