Moved AssumptionViolatedExceptionTest into the correct package