Increase number of cases generated by FsCheck for more thorough coverage.