Add FsCheck tests for dogfooding