Channel Hardening of IRS-Aided Multi-Antenna Systems: How Should IRSs Scale?