Reasons for Hardness in QBF Proof Complexity