Show more errors

The totality warnings mean that elaboration doesn't stop when it sees a
totality issue. Allow both issues to be reported in this test.
Update for totality warnings

Now, totality discrepancies prevent compilation. Add partial annotations
to totality005 to make it compile.
Don't try to compile a test that doesn't have `main`

Instead, just --check it.
Update test for totality warnings

Now, all totality problems are shown. Update test accordingly.