Replace dynamic exception specifications in testsuite