Mark expected documentation with TODOs
Don't restrict HUnit and QuickCheck version

HSpec specifies them.