Added more exception specification tests.