Multi-Machine Scheduling Lower Bounds Using Decision Diagrams