Remove regression test for issue #835.

[taimoorzaeem]

Fixes issue #1329.

[RyanGlScott]

Thanks for the pull request!

Rather than deleting the test case, I think we could just adapt it so that it actually exercises the part of the pretty printer that is responsible for parenthesizing compound expressions. Something like this would suffice:

Cryptol> :m Float
Loading module Cryptol
Loading module Float
Float> :t number`{1, Float _ _}
number`{1, Float _ _} :
  {n, m} (ValidFloat n m, Literal 1 (Float n m)) => Float n m

The fact that it is printed like Literal 1 (Float n m) is a sign that the fix for #835 is working.