Micron's 7% drop after $300M miss: what the shorts saw