Remove debug option

[BinderDavid]

Removed the debug functionality and the Report type which is no longer necessary. Changes how the results are printed on the command line. Example output:

Suite "fail-check":
    - 005                                      ✓
    - Regression-86                            ✓
    - 002                                      ✓
    - 003                                      ✓
    - 004                                      ✓
    - 001                                      ✓
6/6 successful

Suite "success":
    - Regression-230b                          ✓
    - 015                                      ✓
    - 005                                      ✓
    - 009                                      ✓
    - Regression-137                           ✓
    - Regression-230                           ✓
    - 013                                      ✓
    - 002                                      ✓
    - 014                                      ✓
    - 003                                      ✓
    - 007                                      ✓
    - 008                                      ✓
    - 011                                      ✓
    - 006                                      ✓
    - 012                                      ✓
    - 004                                      ✓
    - 010                                      ✓
    - 001                                      ✓
18/18 successful

Suite "examples":
    - vect                                     ✓
    - ExpressionsCaseStudy                     ✓
    - stlc_bool                                ✓
    - ParigotEncoding                          ✓
    - evalorder                                ✓
    - classical_logic                          ✓
    - absurd                                   ✓
    - example                                  ✓
    - local_matches                            ✓
    - pi                                       ✓
    - FuStumpEncoding                          ✓
    - buffer                                   ✓
    - ChurchEncoding                           ✓
    - stlc                                     ✓
    - colist                                   ✓
    - eq                                       ✓
    - simple                                   ✓
    - ScottEncoding                            ✓
    - strong_existentials                      ✓
    - gadt                                     ✓
    - functor                                  ✓
    - refinement                               ✓
    - boolrep                                  ✓
    - neg_inverse                              ✓
    - motive                                   ✓
    - typedhole                                ✓
    - arith                                    ✓
    - comatches                                ✓
    - Webserver                                ✓
    - setoid                                   ✓
    - covect                                   ✓
    - stream                                   ✓
32/32 successful

Suite "fail-parse":
    - P-001                                    ✗

    Expected failure, got Module { uri: Url { scheme: "file", cannot_be_a_base: false, username: "", password: None, host: None, port: None, path: "/home/david/polarity/polarity/test/suites/fail-parse/P-001.pol", query: None, fragment: None }, items: [] }

    - Regression-underscore-expr               ✓
    - P-003                                    ✓
    - P-002                                    ✓
3/4 successful

Suite "fail-lower":
    - L-002-04                                 ✓
    - L-002-02                                 ✓
    - L-004                                    ✓
    - L-002-05                                 ✓
    - L-002-03                                 ✓
    - L-005                                    ✓
    - L-003                                    ✓
    - L-001                                    ✓
    - L-002-01                                 ✓
9/9 successful

In total: 68/69 successful

[BinderDavid]

Would be nice to order the results for better readability.

Done :)