Lower Bounds and Hardness Amplification for Learning Shallow Monotone Formulas