sKizzo: A Suite to Evaluate and Certify QBFs