Moved sell_in solution 1 specs into invariants

To lessen confusion - I first wondered why you had removed the Invariants in your solution spec until I realized you've just added them much later only to master.