`hevm equivalence` does not check log equivalence

per title. an example
```
diff --git a/examples/tokens/ERC20.vy b/examples/tokens/ERC20.vy
index 2d70fd670..73065bcb4 100644
--- a/examples/tokens/ERC20.vy
+++ b/examples/tokens/ERC20.vy
@@ -120,7 +120,7 @@ def _burn(_to: address, _value: uint256):
assert _to != empty(address)
self.totalSupply -= _value
self.balanceOf[_to] -= _value
- log IERC20.Transfer(_to, empty(address), _value)
+ log IERC20.Transfer(empty(address), _to, _value)
```
(pulled from https://github.com/vyperlang/vyper/blob/c02d2d8c5ed8c904c31b7f3f937ab01781fc9891/examples/tokens/ERC20.vy)

results in `hevm equivalence` reporting
```
Found 3969 total pairs of endstates
Asking the SMT solver for 1120 pairs
Reuse of previous queries was Useful in 0 cases
No discrepancies found
```

Start by reproducing the reported `hevm equivalence` result with the altered `examples/tokens/ERC20.vy` example. Trace how the equivalence command handles execution logs, then add or update coverage so differing `Transfer` logs are reported as a discrepancy; done means the shown example no longer reports no discrepancies.

Written by the indexing model from the issue text.