Generalized Proof-Number Monte-Carlo Tree Search