Use ScalaCheck in FicusConfig spec