Updated NuGet packages.
Fixed a couple of subtle issues concerning the end of games (especially
when bots are involved). Modified bots so they always verify mahjongg (it
seemed wrong to never be able to win against bots). Fixes #30.