Cleanup unit tests

FsCheck has function generators so in many cases we don't need to
specify functions