Massively Parallel Proof-Number Search for Impartial Games and Beyond