Adds SmallCheck instance tests

TODO could be small library, i.e. smallcheck-instances