Model-Based Testing for Dungeons & Dragons