Tiny tweak to make @assert output more readable

Before:
```
ERROR: assertion failed: :((1==0))
```
After:
```
ERROR: assertion failed: 1==0
```