Reset colors after use, and include quickcheck tests