Add smallCheckWithHook
Improve the docs
Test.SmallCheck: do not export smallCheckM
Test.SmallCheck: add pointers to the other modules