I know you're not implying that they should have went with either one, but to me this is no longer an issue. The Ravens ended up picking up an extra 4th rounder and the 5th rounder in their trade backs instead of drafting Spence.
This is significant right now to me for two reasons. The 5th rounder obviously became Matt Judon who is performing well, especially under limited snaps. No argument can me made, to me, for taking Spence when we got a pretty decent pass rusher anyway. As of now, we simply have another player who may or may not also contribute, but if he doesn't we at worst still got a good pass rusher.
The second reason is that the 4th rounder turned into Chris Moore. Moore is easily the 3rd best, as of now, of Baltimore's 4th round picks, but he was the second one drafted. There's literally nothing to back this up but speculation, but they obviously drafted the players they did in the order they perceived their talents right? So that extra 4th rounder added one player. Assuming no other team grabbed one of our guys, that last player we were able to draft was Kenneth Dixon.
For all we know, all our 4th rounders get drafted one Ravens pick sooner, and Dixon doesn't get drafted due to not having that extra pick. So it's not Jack/Spence vs Correa for me. It's Jack/Spence vs Correa, Dixon, and Judon. Easy pick imo