Add dining philosophers tests
Fix some hlint warnings