Meaning of physical equality is implementation dependent

[hanshoglund]

interpreter/exec/int.ml makes use of !=, which is implementation-dependent in OCaml. This seems undesirable for a reference interpreter.

Please see #1396 for a fix.

[rossberg]

Closed via #1396.