Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution