added testHasEnoughInStock() with VerificationFailedException