treating reverts in hevm equivalence

[MrChico]

I think its not strictly sound to ignore the revert reasons if we want to think of things as composable....