`with-linear-integer-arith2.rkt` takes forever to type check when `PLT_TR_CONSTRACTS` is on

[capfredf]

What version of Racket are you using?

8.5.0.2+

What program did you run?

1. recompile typed-racket-lib with PLT_TR_CONSTRACTS enabled

2. racket typed-racket-test/succeed/with-linear-integer-arith2.rkt

What should have happened?

it should have taken ~10 seconds to finish

If you got an error message, please include it here.

seemingly a infinity loop

[capfredf]

the latest master 816cd44 should have this fixed.

[samth]

Should we reenable this test in various places then?

[capfredf]

I'll revert here[https://github.com/racket/typed-racket/blob/master/typed-racket-test/info.rkt#L55] and here