Activate error detection in tests

This was the reason why some tests were failing: we were not
issuing the errors they were checking anymore.

Fixes #14