Add regression test for issue #835 so it correctly tests type pretty printer.

[taimoorzaeem]

Fixes issue #1329.

[RyanGlScott]

Thanks! I think the CI is failing due to an issue that was recently fixed on master. Can you rebase this PR on top of master?

[taimoorzaeem]

Yeah sure! Done.

[RyanGlScott]

The CI is failing on this test with:

      issue835.icry: [Failed]
1a2
> Loading module Cryptol

# If output is OK:
cp /home/runner/work/cryptol/cryptol/output/./tests/issues/issue835.icry.stdout \
     /home/runner/work/cryptol/cryptol/tests/issues/issue835.icry.stdout

This patch deletes one of the Loading module Cryptol lines, but I think both are required. Indeed, if I run issue835.icry locally, I get:

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

One of those Loading module Cryptols comes from starting up Cryptol, and another comes from :m Float.

[taimoorzaeem]

Thanks for pointing this out. I am going to close this pull request and make a new pull request including these changes.