Concise QBF Encodings for Games on a Grid (extended version)