Provide way to ignore specific tests

[Nashtare]

Some tests are taking simply way too long / requiring too much ressources to be proven (and some are clearly not meaningful, like loopMul / loopExp).

To this end, it may be nice to provide a way to ignore a known list of tests, something like passing as optional argument a blacklist and filtering out incoming tests which appear in the list.

This could then be used to have different blacklists for testing on a different basis over different configs, with some machines beefier than other.