Fixed addition tests to allow for specifying exceptions
Cleaned up AdditionTest file
Moved location of default map
Renamed TestConfig to PropertyConfig
Clean up AdditionTest
Changed filename from AdditionTest to AdditionCommutesTest
Removed unused code from PropertyTester