Comment all but a few tests for faster `bolzano' suite execution