Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing