Add test that checks the formatting of alcotest exceptions

[mjambon]

The new test in this PR confirms that under simple conditions, Alcotest registers an exception printer for the failed checks. This also works as intended, i.e. the meta test suite no longer auto-approves all the tests but only those that are meant to be auto-approved.