Quickcheck added to lights test