Show original statement if assert or revert fails

If the asserted statement evaluates to false, show the unevaluated
statement in the assertion error output message for more context about
the failure. Revert also now follows similar semantics.

Fixes #1276