Beyond Strickland Prejudice: Weaver, Batson, and Procedural Default