The ban is on "abusive" naked short selling to be exact. What constitutes as "abusive" would be up to the SEC. Are there naked short sellers still? Sure. I believe it.
Are there naked short sellers on WMIH? I'm skeptical.
*insert conspiracy theories* about naked short sellers.