Simplify test fails with divide by zero (again).

[philderbeast]

Similar to #558 (which no longer fails), I saw a CI failure and it is reproducible:

> cabal test tasty --test-options "--quickcheck-replay=85303 --quickcheck-max-size=4"
...
  simplify does not increase expression size
    PLE:                                       FAIL
      *** Failed! Exception: 'divide by zero' (after 379 tests and 3 shrinks):
      EBin Mod (ECon (I 0)) (ECon (I 0))
      Use --quickcheck-replay=85303 --quickcheck-max-size=4 to reproduce.
      Use -p '/PLE/' to rerun this test only.
    Interpreter:                               FAIL
      *** Failed! Exception: 'divide by zero' (after 379 tests and 3 shrinks):
      EBin Mod (ECon (I 0)) (ECon (I 0))
      Use --quickcheck-replay=85303 --quickcheck-max-size=4 to reproduce.
      Use -p '/Interpreter/' to rerun this test only.
  interpret
    computes a fixpoint:                       FAIL
      *** Failed! Exception: 'divide by zero' (after 379 tests and 3 shrinks):
      EBin Mod (ECon (I 0)) (ECon (I 0))
      Exception thrown while showing test case: 'divide by zero'
      Use --quickcheck-replay=85303 --quickcheck-max-size=4 to reproduce.
      Use -p '/computes a fixpoint/' to rerun this test only.