Text this: Hard CNF Instances for Ideal Proof Systems