Produce better assert error messages

We should do something similar to what pytest does with assert statements and provide a default error message for simple assert patterns with more information than the default message. For example, we should compile
```python
assert x == y
```
into something like
```python
assert x == y, "assertion 'x == y' failed; {} != {}".format(x, y)
```