Updating to latest specs 2 version
Adding QuickCheck spec tests
Adding a tree generator to tests and styling them the same as the others