Add FsCheck tests for dogfooding
Add FsCheck tests for dogfooding
cleanup
Add FsCheck tests for dogfooding